# HG changeset patch
# User andrew
# Date 1563315497 -3600
# Node ID fc8e3233bc50ed2d494dfb49d743afab300e9436
# Parent  232ec847b13eb3e686ce1ef377f6381e781cbe00
Added tag jdk7u231-ga for changeset 4c94d8a2dada

diff -r 232ec847b13e -r fc8e3233bc50 .hgtags
--- a/.hgtags	Mon Jul 15 08:24:23 2019 +0100
+++ b/.hgtags	Tue Jul 16 23:18:17 2019 +0100
@@ -633,3 +633,4 @@
 44811e4cadc6328ee58463a05d136836faa3a3bd jdk7u221-ga
 44811e4cadc6328ee58463a05d136836faa3a3bd jdk7u231-b00
 4c94d8a2dada154c67a94a19363047c5568aff55 jdk7u231-b01
+4c94d8a2dada154c67a94a19363047c5568aff55 jdk7u231-ga