# HG changeset patch
# User andrew
# Date 1563175469 -3600
# Node ID f0935d83f31fb125d0896537404b2116ee4439dc
# Parent  a8f5a2d0d6a0d4f7501c0f6c1efe933532d4e627
Added tag jdk7u231-b01 for changeset a8f5a2d0d6a0

diff -r a8f5a2d0d6a0 -r f0935d83f31f .hgtags
--- a/.hgtags	Mon Jul 15 08:24:13 2019 +0100
+++ b/.hgtags	Mon Jul 15 08:24:29 2019 +0100
@@ -870,3 +870,4 @@
 39dc424afc0e4acf27b4570f864e5e9378127777 jdk7u221-b02
 39dc424afc0e4acf27b4570f864e5e9378127777 jdk7u221-ga
 39dc424afc0e4acf27b4570f864e5e9378127777 jdk7u231-b00
+a8f5a2d0d6a0d4f7501c0f6c1efe933532d4e627 jdk7u231-b01