diff -r e6d70017f5b9 -r b24a56f4f19f .hgtags
--- a/.hgtags	Wed Jul 05 23:40:27 2017 +0200
+++ b/.hgtags	Wed Jul 05 23:40:29 2017 +0200
@@ -428,3 +428,4 @@
 aa5b01f5e5620438fd39efdb2e2f6365a2c7d898 jdk-10+9
 b0f2b8ff25a2209b2c807785d75f20e5086bbfc2 jdk-10+10
 036dbf8b381798e5d31065109714d04d97bf98a4 jdk-10+11
+e6d70017f5b9adbb2ec82d826973d0251800a3c3 jdk-10+12