Merge
diff --git a/.hgtags b/.hgtags
index 03389d7..dfc7913 100644
--- a/.hgtags
+++ b/.hgtags
@@ -254,3 +254,4 @@
 2d13524486b46a0f879361fbadf68fe42d02d221 jdk9-b09
 7736a820af6f15cef9a1499f122e40abc83b2fbd jdk9-b10
 f04fccfbd880c819affc3ef33e0083aab9556409 jdk9-b11
+72efbe612e494f98b9c3ede1b4a3d02304e1e9cc jdk9-b12