# HG changeset patch
# User duke
# Date 1499265309 -7200
# Node ID 5ae7db536e3fcf6be78e45b240a9058095e0ed38
# Parent  8cf40a21fd4da9bebe289869e36f6e3d6d76ce6b# Parent  63952d8b26b8066794248f2c5f3c88662711b41f
Merge

diff -r 8cf40a21fd4d -r 5ae7db536e3f .hgtags
--- a/.hgtags	Wed Jul 05 16:35:06 2017 +0200
+++ b/.hgtags	Wed Jul 05 16:35:09 2017 +0200
@@ -1,1 +1,2 @@
 1cc8dd79fd1cd13d36b385196271a29632c67c3b jdk7-b24
+bf2517e15f0c0f950e5b3143c4ca11e2df73dcc1 jdk7-b25