# HG changeset patch
# User andrew
# Date 1571229945 -3600
# Node ID 1050efec2a3676528ae33d040e532cad72f9748a
# Parent  6b6305a82223dc6a10ff1fa630499af422b309e5
Added tag jdk7u241-ga for changeset b317ddb0ec6d

diff -r 6b6305a82223 -r 1050efec2a36 .hgtags
--- a/.hgtags	Mon Oct 14 08:50:31 2019 +0100
+++ b/.hgtags	Wed Oct 16 13:45:45 2019 +0100
@@ -638,3 +638,4 @@
 54de827b5db66fb0fd25dc492db1f25aa87c8e11 jdk7u231-ga
 54de827b5db66fb0fd25dc492db1f25aa87c8e11 jdk7u241-b00
 b317ddb0ec6dc011d1a64dcf2090465c70d57c14 jdk7u241-b01
+b317ddb0ec6dc011d1a64dcf2090465c70d57c14 jdk7u241-ga