# HG changeset patch
# User duke
# Date 1499266875 -7200
# Node ID ce74bd35ce948d629a356e168797f44b593b1578
# Parent  bb6def34ee9a274eba7e95bb24206a382ab7aaeb# Parent  d041141e4794bb6f96d19d87b3ef355e995df523
Merge

diff -r bb6def34ee9a -r ce74bd35ce94 .hgtags
--- a/.hgtags	Wed Jul 05 17:01:13 2017 +0200
+++ b/.hgtags	Wed Jul 05 17:01:15 2017 +0200
@@ -46,3 +46,4 @@
 1b662b1ed14eb4ae31d5138a36c433b13d941dc5 jdk7-b69
 207f694795c448c17753eff1a2f50363106960c2 jdk7-b70
 c5d39b6be65cba0effb5f466ea48fe43764d0e0c jdk7-b71
+df4bcd06e1d0ab306efa5a44f24a409dc0c0c742 jdk7-b72