.hgtags
changeset 55421 688a2a361e14
parent 55389 5c52d053cb14
parent 55409 c53db49c7a2f
child 55440 48a14297c030
--- a/.hgtags	Tue Jun 18 18:38:53 2019 +0100
+++ b/.hgtags	Tue Jun 18 22:48:27 2019 +0200
@@ -563,4 +563,5 @@
 b034d2dee5fc93d42a81b65e58ce3f91e42586ff jdk-13+23
 7e2238451585029680f126ccbb46d01f2ff5607f jdk-13+24
 22b3b7983adab54e318f75aeb94471f7a4429c1e jdk-14+0
+22b3b7983adab54e318f75aeb94471f7a4429c1e jdk-13+25
 2f4e214781a1d597ed36bf5a36f20928c6c82996 jdk-14+1