diff -r 0742a087710e -r c530d97ec3f2 .hgtags --- a/.hgtags Wed Jun 13 13:12:50 2018 -0700 +++ b/.hgtags Thu Jun 14 02:49:19 2018 +0200 @@ -489,3 +489,4 @@ a11c1cb542bbd1671d25b85efe7d09b983c48525 jdk-11+15 02934b0d661b82b7fe1052a04998d2091352e08d jdk-11+16 64e4b1686141e57a681936a8283983341484676e jdk-11+17 +e1b3def126240d5433902f3cb0e91a4c27f6db50 jdk-11+18