# HG changeset patch
# User duke
# Date 1499265880 -7200
# Node ID caf58ffa084568990cbb3441f9ae188e36b31770
# Parent  9273c3cfb28eeb6c53d6a562636937d968191776# Parent  a58ddd4e3a666caa4e36f123a2ca4f5e58f49e59
Merge

diff -r 9273c3cfb28e -r caf58ffa0845 .hgtags
--- a/.hgtags	Wed Jul 05 16:44:37 2017 +0200
+++ b/.hgtags	Wed Jul 05 16:44:40 2017 +0200
@@ -15,3 +15,4 @@
 a2879b2837f5a4c87e9542efe69ef138194af8ff jdk7-b38
 126f365cec6c3c2c72de934fa1c64b5f082b55b5 jdk7-b39
 3c53424bbe3bb77e01b468b4b0140deec33e11fc jdk7-b40
+3cb2a607c347934f8e7e86f840a094c28b08d9ea jdk7-b41