diff -r a5557f24b4d4 -r 1ecd78e0f56b .hgtags
--- a/.hgtags	Wed Jun 27 21:01:12 2018 -0700
+++ b/.hgtags	Thu Jun 28 21:11:50 2018 +0200
@@ -494,3 +494,5 @@
 fb8b3f4672774e15654958295558a1af1b576919 jdk-11+19
 36ca515343e00b021dcfc902e986d26ec994a2e5 jdk-11+19
 c9cd3ec6a0ebaf373b6ff0071c396cc657f7c4bd jdk-12+0
+c9cd3ec6a0ebaf373b6ff0071c396cc657f7c4bd jdk-12+0
+95aad0c785e497f1bade3955c4e4a677b629fa9d jdk-12+0