From 4635b34d7ed28e2be1071a27315c92e719f2d7fa Mon Sep 17 00:00:00 2001
From: Phil Race <prr@openjdk.org>
Date: Thu, 2 Aug 2018 09:26:40 -0700
Subject: [PATCH] Added tag jdk-11+25 for changeset 331888ea4a78

---
 .hgtags | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.hgtags b/.hgtags
index 35c265f1f6c..ffc30fe9167 100644
--- a/.hgtags
+++ b/.hgtags
@@ -498,3 +498,4 @@ fb8b3f4672774e15654958295558a1af1b576919 jdk-11+19
 9937ef7499dcd7673714517fd5e450410c14ba4e jdk-11+22
 1edcf36fe15f79d6228d1a63eb680878e2386480 jdk-11+23
 ea900a7dc7d77dee30865c60eabd87fc24b1037c jdk-11+24
+331888ea4a788df801b1edf8836646cd25fc758b jdk-11+25