# HG changeset patch
# User andrew
# Date 1578948431 0
# Node ID 97d16745bd56982a25d8f1b7b8a4b1fe1ab0cc3b
# Parent  071c4889adec8b5a0b57bae371efec5a1fc551ac
Added tag jdk7u251-b00 for changeset 9b78984e8e7a

diff -r 071c4889adec -r 97d16745bd56 .hgtags
--- a/.hgtags	Wed Oct 16 13:44:55 2019 +0100
+++ b/.hgtags	Mon Jan 13 20:47:11 2020 +0000
@@ -637,3 +637,4 @@
 4c94d8a2dada154c67a94a19363047c5568aff55 jdk7u241-b00
 9b78984e8e7aa5dc860ff3a20c129b7abe27f0ac jdk7u241-b01
 9b78984e8e7aa5dc860ff3a20c129b7abe27f0ac jdk7u241-ga
+9b78984e8e7aa5dc860ff3a20c129b7abe27f0ac jdk7u251-b00