# HG changeset patch
# User duke
# Date 1499265568 -7200
# Node ID a9f1805e3ba9ca520cad199d522c84af5433e85a
# Parent  1ee6203fb4056fafca6f432f4a25f837cb2f6c70# Parent  86cb4a10400f173e94febb75e5f56f61eecfd020
Merge

diff -r 1ee6203fb405 -r a9f1805e3ba9 .hgtags
--- a/.hgtags	Wed Jul 05 16:39:25 2017 +0200
+++ b/.hgtags	Wed Jul 05 16:39:28 2017 +0200
@@ -5,3 +5,4 @@
 18dc4ba4739a537fd146f77da51db16efce28da2 jdk7-b28
 bfe4572fd301a6fcd120373cdb2eff5d2da0c72c jdk7-b29
 bee4731164a06ddece1297ae58db24aca6a1c626 jdk7-b30
+cd8b8f500face60d1566d850857a7fccadbd383a jdk7-b31