diff -r c42dc7b58b4d -r b43b84496f93 .hgtags --- a/.hgtags Wed Jul 05 23:27:00 2017 +0200 +++ b/.hgtags Wed Jul 05 23:27:02 2017 +0200 @@ -420,3 +420,4 @@ f113ce12fe24fbd24acf02711372d9f1e1c12426 jdk-10+5 1407b19a2ddf6baae162f5a1a5b96af473f4d7d1 jdk-10+6 30e75693ae99fd8e47fd2f5116527aff1b59aff9 jdk-10+7 +c42dc7b58b4d4301ea676a76326fd9bbd403d595 jdk-10+8