# HG changeset patch
# User robm
# Date 1444663958 -3600
# Node ID 15ef554f2f2e0a8d7c330191432fcd2126d19dab
# Parent  be740540f60c465a70f662687d73104a52af85f7# Parent  6b76ba76ec80e06ed76ce8f826d328f3586aa2b5
Merge

diff -r be740540f60c -r 15ef554f2f2e .hgtags
--- a/.hgtags	Thu Oct 08 09:38:24 2015 +0200
+++ b/.hgtags	Mon Oct 12 16:32:38 2015 +0100
@@ -688,3 +688,4 @@
 47110b037994f9006c22abcb12569fcafad84edb hs25.66-b03
 ae5624088d86abe8e7981dbb893c1b6da5140a1c jdk8u66-b02
 b8f426369187c32551f0a3d571d933908988c81c jdk8u72-b00
+c0205eddb31766ece562483595ec28a7506971e9 jdk8u72-b01