# HG changeset patch
# User duke
# Date 1499265914 -7200
# Node ID 41bd0a702bc8ec6feebd725a63e7c3227f82ab11
# Parent  b144aadaeb0ddc66fd10a3c62bb570928da63e93# Parent  7157899b7d327e930cab8daa0e3dd896d761671e
Merge

diff -r b144aadaeb0d -r 41bd0a702bc8 .hgtags
--- a/.hgtags	Wed Jul 05 16:45:11 2017 +0200
+++ b/.hgtags	Wed Jul 05 16:45:14 2017 +0200
@@ -16,3 +16,4 @@
 126f365cec6c3c2c72de934fa1c64b5f082b55b5 jdk7-b39
 3c53424bbe3bb77e01b468b4b0140deec33e11fc jdk7-b40
 3cb2a607c347934f8e7e86f840a094c28b08d9ea jdk7-b41
+caf58ffa084568990cbb3441f9ae188e36b31770 jdk7-b42