# HG changeset patch
# User duke
# Date 1499266236 -7200
# Node ID 15096652c4d48dfb9fc0b2cb135304db94c65ba0
# Parent  bd1dce471e2a3f91e12398d338c69c4c3934f6e5# Parent  2fc3cf4dfd0de76db1615bae23946f9f2952e151
Merge

diff -r bd1dce471e2a -r 15096652c4d4 .hgtags
--- a/.hgtags	Wed Jul 05 16:50:34 2017 +0200
+++ b/.hgtags	Wed Jul 05 16:50:36 2017 +0200
@@ -27,3 +27,4 @@
 5da0e6b9f4f18ef483c977337214b12ee0e1fc8f jdk7-b50
 a25c5ec5e40e07733d1ff9898a0abe36159288ff jdk7-b51
 7a90e89e36d103038f8667f6a7daae34ecfa1ad8 jdk7-b52
+d52186ee770dac57950536cd00ccbfdef360b04c jdk7-b53