# HG changeset patch
# User prr
# Date 1533227200 25200
# Node ID 4322ef0c1684dc6a4109c9fb6de991f9ad0812de
# Parent  26cca23c165ae63f37680e7d33e5b0d2d328dbae
Added tag jdk-11+25 for changeset 331888ea4a78

diff -r 26cca23c165a -r 4322ef0c1684 .hgtags
--- a/.hgtags	Thu Aug 02 09:49:04 2018 +0200
+++ b/.hgtags	Thu Aug 02 09:26:40 2018 -0700
@@ -498,3 +498,4 @@
 9937ef7499dcd7673714517fd5e450410c14ba4e jdk-11+22
 1edcf36fe15f79d6228d1a63eb680878e2386480 jdk-11+23
 ea900a7dc7d77dee30865c60eabd87fc24b1037c jdk-11+24
+331888ea4a788df801b1edf8836646cd25fc758b jdk-11+25