diff -r 1407b19a2ddf -r a5c9cff563c4 .hgtags --- a/.hgtags Wed Jul 05 23:16:59 2017 +0200 +++ b/.hgtags Wed Jul 05 23:17:00 2017 +0200 @@ -415,3 +415,4 @@ d1cab6c7e608479be4ebfad48a25b0ed48600f62 jdk-10+3 02253db2ace1422f576f58502fc7831ead77424b jdk-10+4 f113ce12fe24fbd24acf02711372d9f1e1c12426 jdk-10+5 +1407b19a2ddf6baae162f5a1a5b96af473f4d7d1 jdk-10+6