# HG changeset patch
# User andrew
# Date 1578948439 0
# Node ID 892f87b3513f0293b0628c17c24a9de385ef37bf
# Parent  625e2f12780c58ef2926a443eb512225624363b8
Added tag jdk7u251-b00 for changeset 9e13fe0df57f

diff -r 625e2f12780c -r 892f87b3513f .hgtags
--- a/.hgtags	Wed Oct 16 13:45:42 2019 +0100
+++ b/.hgtags	Mon Jan 13 20:47:19 2020 +0000
@@ -640,3 +640,4 @@
 26dacd46b0514861b0c289beef906baa42c89b51 jdk7u241-b00
 9e13fe0df57fa7ffcafc5c44ea671dd9d20d8b26 jdk7u241-b01
 9e13fe0df57fa7ffcafc5c44ea671dd9d20d8b26 jdk7u241-ga
+9e13fe0df57fa7ffcafc5c44ea671dd9d20d8b26 jdk7u251-b00