# HG changeset patch
# User robm
# Date 1439822698 -3600
# Node ID dae2d83e0ec2de7bad285a1dbdd80bd3e90dafdf
# Parent  decf7079a7b9c898844ce4ee9ecbb970a05256c8# Parent  2119e5536f3e1d2632a8bb719a3718bb69a90d48
Merge

diff -r decf7079a7b9 -r dae2d83e0ec2 .hgtags
--- a/.hgtags	Thu Aug 06 00:08:57 2015 -0700
+++ b/.hgtags	Mon Aug 17 15:44:58 2015 +0100
@@ -687,3 +687,4 @@
 0366ad2644f58ec88af9cb2ea8c23a02559fb2d1 hs25.66-b02
 47110b037994f9006c22abcb12569fcafad84edb hs25.66-b03
 ae5624088d86abe8e7981dbb893c1b6da5140a1c jdk8u66-b02
+b8f426369187c32551f0a3d571d933908988c81c jdk8u72-b00