--- a/.hgtags	Fri Jul 27 00:54:39 2018 +0900
+++ b/.hgtags	Thu Jul 26 09:30:58 2018 -0700
@@ -499,3 +499,4 @@
 1edcf36fe15f79d6228d1a63eb680878e2386480 jdk-11+23
 69b438908512d3dfef5852c6a843a5778333a309 jdk-12+2
 990db216e7199b2ba9989d8fa20b657e0ca7d969 jdk-12+3
+499b873761d8e8a1cc4aa649daf04cbe98cbce77 jdk-12+4