# HG changeset patch
# User andrew
# Date 1563175453 -3600
# Node ID a8f5a2d0d6a0d4f7501c0f6c1efe933532d4e627
# Parent  f9541fe46eae1c3bde874ea240e0a2235380a317
Added tag jdk7u231-b00 for changeset 39dc424afc0e

diff -r f9541fe46eae -r a8f5a2d0d6a0 .hgtags
--- a/.hgtags	Mon Jul 15 06:01:56 2019 +0100
+++ b/.hgtags	Mon Jul 15 08:24:13 2019 +0100
@@ -869,3 +869,4 @@
 4d49c350aea9078c934ee220668fc7dab1b830ce jdk7u221-b01
 39dc424afc0e4acf27b4570f864e5e9378127777 jdk7u221-b02
 39dc424afc0e4acf27b4570f864e5e9378127777 jdk7u221-ga
+39dc424afc0e4acf27b4570f864e5e9378127777 jdk7u231-b00