# HG changeset patch
# User duke
# Date 1499277231 -7200
# Node ID cd6f4557e7fea5799ff3762ed7a80a743e75d5fd
# Parent  c3d78c30da05a3e430478d6fe22628ec51930685# Parent  a21f9875097e9f619e897f65b87e345001c98d79
Merge

diff -r c3d78c30da05 -r cd6f4557e7fe .hgtags
--- a/.hgtags	Wed Jul 05 19:53:47 2017 +0200
+++ b/.hgtags	Wed Jul 05 19:53:51 2017 +0200
@@ -267,3 +267,4 @@
 9678e0db8ff6ed845d4c2ee4a3baf7f386a777e5 jdk9-b22
 39cfdc2dcaf3f195c55398e4e677ab053b07e3d2 jdk9-b23
 d9ce05f36ffec3e5e8af62a92455c1c66a63c320 jdk9-b24
+13a5c76976fe48e55c9727c25fae2d2ce7c05da0 jdk9-b25