# HG changeset patch
# User andrew
# Date 1578948446 0
# Node ID 2e0245ff42c1702fd083ada5387ac98d41307feb
# Parent  1050efec2a3676528ae33d040e532cad72f9748a
Added tag jdk7u251-b00 for changeset b317ddb0ec6d

diff -r 1050efec2a36 -r 2e0245ff42c1 .hgtags
--- a/.hgtags	Wed Oct 16 13:45:45 2019 +0100
+++ b/.hgtags	Mon Jan 13 20:47:26 2020 +0000
@@ -639,3 +639,4 @@
 54de827b5db66fb0fd25dc492db1f25aa87c8e11 jdk7u241-b00
 b317ddb0ec6dc011d1a64dcf2090465c70d57c14 jdk7u241-b01
 b317ddb0ec6dc011d1a64dcf2090465c70d57c14 jdk7u241-ga
+b317ddb0ec6dc011d1a64dcf2090465c70d57c14 jdk7u251-b00