# HG changeset patch
# User robm
# Date 1445131696 -3600
# Node ID bb98a4ba1556d0505461de98aa3dddf75278c09b
# Parent  7c72f397718aca546441cf0e31931e89ca46b7de# Parent  39d920531a4dd3ec5592b562d7d390e5cfa4fd34
Merge

diff -r 7c72f397718a -r bb98a4ba1556 .hgtags
--- a/.hgtags	Thu Oct 15 09:14:26 2015 +0000
+++ b/.hgtags	Sun Oct 18 02:28:16 2015 +0100
@@ -689,3 +689,4 @@
 ae5624088d86abe8e7981dbb893c1b6da5140a1c jdk8u66-b02
 b8f426369187c32551f0a3d571d933908988c81c jdk8u72-b00
 c0205eddb31766ece562483595ec28a7506971e9 jdk8u72-b01
+15ef554f2f2e0a8d7c330191432fcd2126d19dab jdk8u72-b02