# HG changeset patch
# User andrew
# Date 1563175449 -3600
# Node ID 620893b7c49b69fe764a24fcd3af9385664b82d2
# Parent  60470c93c0e37cca828dec1935cd790237c37846
Added tag jdk7u231-b00 for changeset f5a70fa0d6e6

diff -r 60470c93c0e3 -r 620893b7c49b .hgtags
--- a/.hgtags	Wed Apr 17 04:19:00 2019 +0100
+++ b/.hgtags	Mon Jul 15 08:24:09 2019 +0100
@@ -633,3 +633,4 @@
 849bed9a552f420338a0e67ffc6f240548bd2c04 jdk7u221-b01
 f5a70fa0d6e61ff8839992fb510346a4966bd17c jdk7u221-b02
 f5a70fa0d6e61ff8839992fb510346a4966bd17c jdk7u221-ga
+f5a70fa0d6e61ff8839992fb510346a4966bd17c jdk7u231-b00