# HG changeset patch
# User duke
# Date 1499266834 -7200
# Node ID df4bcd06e1d0ab306efa5a44f24a409dc0c0c742
# Parent  9380cb9b99cb265b6c34d7fa73da83f9e3aa1f1d# Parent  820e98129787abfbbe88eef4cafcc0af1e744d4b
Merge

diff -r 9380cb9b99cb -r df4bcd06e1d0 .hgtags
--- a/.hgtags	Wed Jul 05 17:00:31 2017 +0200
+++ b/.hgtags	Wed Jul 05 17:00:34 2017 +0200
@@ -45,3 +45,4 @@
 bca2225b66d78c4bf4d9801f54cac7715a598650 jdk7-b68
 1b662b1ed14eb4ae31d5138a36c433b13d941dc5 jdk7-b69
 207f694795c448c17753eff1a2f50363106960c2 jdk7-b70
+c5d39b6be65cba0effb5f466ea48fe43764d0e0c jdk7-b71