diff -r 1cc8dd79fd1c -r f045444a34f3 .hgtags
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgtags	Wed Jul 05 16:33:56 2017 +0200
@@ -0,0 +1,1 @@
+1cc8dd79fd1cd13d36b385196271a29632c67c3b jdk7-b24