# HG changeset patch
# User andrew
# Date 1563315506 -3600
# Node ID 3525cd4865bec837baccbe2850eb915498f5f067
# Parent  b4acf3fb9c5e89b0cd359a489160876a4f1845a2
Added tag jdk7u231-ga for changeset 54de827b5db6

diff -r b4acf3fb9c5e -r 3525cd4865be .hgtags
--- a/.hgtags	Mon Jul 15 08:24:28 2019 +0100
+++ b/.hgtags	Tue Jul 16 23:18:26 2019 +0100
@@ -635,3 +635,4 @@
 64fe722a5b06a6f7e5346e8ced98503f0239e509 jdk7u221-ga
 64fe722a5b06a6f7e5346e8ced98503f0239e509 jdk7u231-b00
 54de827b5db66fb0fd25dc492db1f25aa87c8e11 jdk7u231-b01
+54de827b5db66fb0fd25dc492db1f25aa87c8e11 jdk7u231-ga