--- a/.hgtags	Fri Aug 03 14:14:59 2018 +0100
+++ b/.hgtags	Fri Aug 03 09:42:57 2018 -0700
@@ -498,6 +498,7 @@
 9937ef7499dcd7673714517fd5e450410c14ba4e jdk-11+22
 1edcf36fe15f79d6228d1a63eb680878e2386480 jdk-11+23
 ea900a7dc7d77dee30865c60eabd87fc24b1037c jdk-11+24
+331888ea4a788df801b1edf8836646cd25fc758b jdk-11+25
 69b438908512d3dfef5852c6a843a5778333a309 jdk-12+2
 990db216e7199b2ba9989d8fa20b657e0ca7d969 jdk-12+3
 499b873761d8e8a1cc4aa649daf04cbe98cbce77 jdk-12+4