# HG changeset patch
# User jwilhelm
# Date 1560477025 -7200
# Node ID c53db49c7a2f0479079a4d04f037849d2dc3d864
# Parent  24872d367cb6ff6868eb75d8b3b1ed17e9fde1ca
Added tag jdk-13+25 for changeset 22b3b7983ada

diff -r 24872d367cb6 -r c53db49c7a2f .hgtags
--- 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