# HG changeset patch
# User andrew
# Date 1563315499 -3600
# Node ID 78650d9f4e081dc06ac4fd46f12366ac7a8b892b
# Parent  130b0655e432452f1d47b68d16aa4cfdc207e0c0
Added tag jdk7u231-ga for changeset 4a9a21f23e53

diff -r 130b0655e432 -r 78650d9f4e08 .hgtags
--- a/.hgtags	Mon Jul 15 08:24:24 2019 +0100
+++ b/.hgtags	Tue Jul 16 23:18:19 2019 +0100
@@ -635,3 +635,4 @@
 af2146444e213bae762c87408b4da3a73afd6f21 jdk7u221-ga
 af2146444e213bae762c87408b4da3a73afd6f21 jdk7u231-b00
 4a9a21f23e53b4de22448e3f1b906025ca9a1667 jdk7u231-b01
+4a9a21f23e53b4de22448e3f1b906025ca9a1667 jdk7u231-ga