diff -r 30e75693ae99 -r d434b42fd0bb .hgtags --- a/.hgtags Wed Jul 05 23:23:09 2017 +0200 +++ b/.hgtags Wed Jul 05 23:23:10 2017 +0200 @@ -418,3 +418,4 @@ 02253db2ace1422f576f58502fc7831ead77424b jdk-10+4 f113ce12fe24fbd24acf02711372d9f1e1c12426 jdk-10+5 1407b19a2ddf6baae162f5a1a5b96af473f4d7d1 jdk-10+6 +30e75693ae99fd8e47fd2f5116527aff1b59aff9 jdk-10+7