From 97b0d4562228209b77a6eabbf52aff426843e6a0 Mon Sep 17 00:00:00 2001
From: Jesper Wilhelmsson <jwilhelm@openjdk.org>
Date: Fri, 14 Jun 2019 03:50:25 +0200
Subject: [PATCH] Added tag jdk-13+25 for changeset 22b3b7983ada

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

diff --git a/.hgtags b/.hgtags
index bdfaf6ad0f4..caabc0b90e0 100644
--- a/.hgtags
+++ b/.hgtags
@@ -562,3 +562,4 @@ f2f11d7f7f4e7128f8aba6ffa576cfa76fbf7d1a jdk-13+21
 181986c5476468bc2dd4532af49599003ee8af37 jdk-13+22
 b034d2dee5fc93d42a81b65e58ce3f91e42586ff jdk-13+23
 7e2238451585029680f126ccbb46d01f2ff5607f jdk-13+24
+22b3b7983adab54e318f75aeb94471f7a4429c1e jdk-13+25