# HG changeset patch
# User duke
# Date 1499269452 -7200
# Node ID 92bf0655022d4187e9b49c1400f98fb3392a4630
# Parent  7c3803621118ea5198cf4b4dc7e40e057cea538b# Parent  81b137371bd0814392337587a1b8f8f3be2e16e7
Merge

diff -r 7c3803621118 -r 92bf0655022d .hgtags
--- a/.hgtags	Wed Jul 05 17:44:09 2017 +0200
+++ b/.hgtags	Wed Jul 05 17:44:12 2017 +0200
@@ -115,3 +115,4 @@
 62b8e328f8c8c66c14b0713222116f2add473f3f jdk7-b138
 955488f34ca418f6cdab843d61c20d2c615637d9 jdk7-b139
 f4298bc3f4b6baa315643be06966f09684290068 jdk7-b140
+5d86d0c7692e8f4a58d430d68c03594e2d3403b3 jdk7-b141