# HG changeset patch
# User andrew
# Date 1563315504 -3600
# Node ID d35596ed6b0683745fb64f51856763c948c8526c
# Parent  9860a2749dfb156aa5000770f71b8efc4916a727
Added tag jdk7u231-ga for changeset 620893b7c49b

diff -r 9860a2749dfb -r d35596ed6b06 .hgtags
--- a/.hgtags	Mon Jul 15 08:24:27 2019 +0100
+++ b/.hgtags	Tue Jul 16 23:18:24 2019 +0100
@@ -635,3 +635,4 @@
 f5a70fa0d6e61ff8839992fb510346a4966bd17c jdk7u221-ga
 f5a70fa0d6e61ff8839992fb510346a4966bd17c jdk7u231-b00
 620893b7c49b69fe764a24fcd3af9385664b82d2 jdk7u231-b01
+620893b7c49b69fe764a24fcd3af9385664b82d2 jdk7u231-ga