# HG changeset patch
# User andrew
# Date 1563175467 -3600
# Node ID 9860a2749dfb156aa5000770f71b8efc4916a727
# Parent  620893b7c49b69fe764a24fcd3af9385664b82d2
Added tag jdk7u231-b01 for changeset 620893b7c49b

diff -r 620893b7c49b -r 9860a2749dfb .hgtags
--- a/.hgtags	Mon Jul 15 08:24:09 2019 +0100
+++ b/.hgtags	Mon Jul 15 08:24:27 2019 +0100
@@ -634,3 +634,4 @@
 f5a70fa0d6e61ff8839992fb510346a4966bd17c jdk7u221-b02
 f5a70fa0d6e61ff8839992fb510346a4966bd17c jdk7u221-ga
 f5a70fa0d6e61ff8839992fb510346a4966bd17c jdk7u231-b00
+620893b7c49b69fe764a24fcd3af9385664b82d2 jdk7u231-b01