From 44f3040bebba353b7afc031d4cbd610f3d970db0 Mon Sep 17 00:00:00 2001
From: "J. Duke" <duke@openjdk.org>
Date: Wed, 5 Jul 2017 19:52:35 +0200
Subject: [PATCH] Added tag jdk9-b25 for changeset 13a5c76976fe

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

diff --git a/.hgtags b/.hgtags
index a0cbc3cb204..df941df95c2 100644
--- a/.hgtags
+++ b/.hgtags
@@ -267,3 +267,4 @@ c5495e25c7258ab5f96a1ae14610887d76d2be63 jdk9-b18
 9678e0db8ff6ed845d4c2ee4a3baf7f386a777e5 jdk9-b22
 39cfdc2dcaf3f195c55398e4e677ab053b07e3d2 jdk9-b23
 d9ce05f36ffec3e5e8af62a92455c1c66a63c320 jdk9-b24
+13a5c76976fe48e55c9727c25fae2d2ce7c05da0 jdk9-b25
-- 
GitLab