# HG changeset patch
# User duke
# Date 1499265273 -7200
# Node ID bf2517e15f0c0f950e5b3143c4ca11e2df73dcc1
# Parent  249e283e044665a83dbce8e75a97bf63f83cb102# Parent  f045444a34f3537c2f3561e1cdd8c6d803b9a6d5
Merge

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