# HG changeset patch
# User jwilhelm
# Date 1574921113 -3600
# Node ID d67bb40f422c59813ccb1e4e0ae28a03c8699425
# Parent  60bdcb9a7b94894ae53c76420b5044d957f856ee
Added tag jdk-14+25 for changeset 17d242844fc9

diff -r 60bdcb9a7b94 -r d67bb40f422c .hgtags
--- a/.hgtags	Thu Nov 28 13:48:25 2019 +0800
+++ b/.hgtags	Thu Nov 28 07:05:13 2019 +0100
@@ -597,3 +597,4 @@
 83810b7d12e7ff761ad3dd91f323a22dad96f108 jdk-14+22
 15936b142f86731afa4b1a2c0fe4a01e806c4944 jdk-14+23
 438337c846fb071900ddb6922bddf8b3e895a514 jdk-14+24
+17d242844fc9e7d18b3eac97426490a9c246119e jdk-14+25