diff -r cefc50af3ee7 -r 3a8208766f7b .hgtags --- a/.hgtags Wed Oct 31 14:00:51 2018 -0700 +++ b/.hgtags Thu Nov 01 02:12:13 2018 +0100 @@ -520,3 +520,4 @@ f8626bcc169813a4b2a15880386b952719d1d6d1 jdk-12+15 199658d1ef860cdc17055b4fd3e94b057f292fe9 jdk-12+16 eefa65e142af305923d2adcd596fab9c639723a1 jdk-12+17 +e38473506688e0995e701fc7f77d5a91b438ef93 jdk-12+18