--- a/.hgtags	Thu Jun 13 17:18:06 2019 -0700
+++ b/.hgtags	Fri Jun 14 03:50:25 2019 +0200
@@ -562,3 +562,4 @@
 181986c5476468bc2dd4532af49599003ee8af37 jdk-13+22
 b034d2dee5fc93d42a81b65e58ce3f91e42586ff jdk-13+23
 7e2238451585029680f126ccbb46d01f2ff5607f jdk-13+24
+22b3b7983adab54e318f75aeb94471f7a4429c1e jdk-13+25