# HG changeset patch
# User andrew
# Date 1563175451 -3600
# Node ID 54de827b5db66fb0fd25dc492db1f25aa87c8e11
# Parent  104edc12add955439ee955d72c32122f0ad45f2b
Added tag jdk7u231-b00 for changeset 64fe722a5b06

diff -r 104edc12add9 -r 54de827b5db6 .hgtags
--- a/.hgtags	Wed Apr 17 04:19:02 2019 +0100
+++ b/.hgtags	Mon Jul 15 08:24:11 2019 +0100
@@ -633,3 +633,4 @@
 940b8aa665d443ad7d166bcd341b35572ce614fd jdk7u221-b01
 64fe722a5b06a6f7e5346e8ced98503f0239e509 jdk7u221-b02
 64fe722a5b06a6f7e5346e8ced98503f0239e509 jdk7u221-ga
+64fe722a5b06a6f7e5346e8ced98503f0239e509 jdk7u231-b00