# HG changeset patch # User duke # Date 1499266875 -7200 # Node ID ce74bd35ce948d629a356e168797f44b593b1578 # Parent bb6def34ee9a274eba7e95bb24206a382ab7aaeb# Parent d041141e4794bb6f96d19d87b3ef355e995df523 Merge diff -r d041141e4794 -r ce74bd35ce94 .hgtags-top-repo --- a/.hgtags-top-repo Wed Jul 05 17:00:34 2017 +0200 +++ b/.hgtags-top-repo Wed Jul 05 17:01:15 2017 +0200 @@ -46,3 +46,4 @@ 82e6c820c51ac27882b77755d42efefdbf1dcda0 jdk7-b69 175cb3fe615998d1004c6d3fd96e6d2e86b6772d jdk7-b70 4c36e9853dda27bdac5ef4839a610509fbe31d34 jdk7-b71 +0d7e03b426df27c21dcc44ffb9178eacd1b04f10 jdk7-b72 diff -r d041141e4794 -r ce74bd35ce94 README-builds.html --- a/README-builds.html Wed Jul 05 17:00:34 2017 +0200 +++ b/README-builds.html Wed Jul 05 17:01:15 2017 +0200 @@ -38,12 +38,17 @@