# HG changeset patch
# User andrew
# Date 1563175463 -3600
# Node ID 232ec847b13eb3e686ce1ef377f6381e781cbe00
# Parent  4c94d8a2dada154c67a94a19363047c5568aff55
Added tag jdk7u231-b01 for changeset 4c94d8a2dada

diff -r 4c94d8a2dada -r 232ec847b13e .hgtags
--- a/.hgtags	Mon Jul 15 08:24:04 2019 +0100
+++ b/.hgtags	Mon Jul 15 08:24:23 2019 +0100
@@ -632,3 +632,4 @@
 44811e4cadc6328ee58463a05d136836faa3a3bd jdk7u221-b02
 44811e4cadc6328ee58463a05d136836faa3a3bd jdk7u221-ga
 44811e4cadc6328ee58463a05d136836faa3a3bd jdk7u231-b00
+4c94d8a2dada154c67a94a19363047c5568aff55 jdk7u231-b01