# HG changeset patch
# User andrew
# Date 1563175464 -3600
# Node ID 130b0655e432452f1d47b68d16aa4cfdc207e0c0
# Parent  4a9a21f23e53b4de22448e3f1b906025ca9a1667
Added tag jdk7u231-b01 for changeset 4a9a21f23e53

diff -r 4a9a21f23e53 -r 130b0655e432 .hgtags
--- a/.hgtags	Mon Jul 15 08:24:06 2019 +0100
+++ b/.hgtags	Mon Jul 15 08:24:24 2019 +0100
@@ -634,3 +634,4 @@
 af2146444e213bae762c87408b4da3a73afd6f21 jdk7u221-b02
 af2146444e213bae762c87408b4da3a73afd6f21 jdk7u221-ga
 af2146444e213bae762c87408b4da3a73afd6f21 jdk7u231-b00
+4a9a21f23e53b4de22448e3f1b906025ca9a1667 jdk7u231-b01