# HG changeset patch
# User xdono
# Date 1207765155 25200
# Node ID 833dec5467f3bf2cba02c36fba9656d39c187334
# Parent  bf2517e15f0c0f950e5b3143c4ca11e2df73dcc1
Added tag jdk7-b25 for changeset 2afbdd3321d0

diff -r bf2517e15f0c -r 833dec5467f3 langtools/.hgtags
--- a/langtools/.hgtags	Wed Jul 05 16:34:33 2017 +0200
+++ b/langtools/.hgtags	Wed Apr 09 11:19:15 2008 -0700
@@ -1,1 +1,2 @@
 9a66ca7c79fab293c1bb0534e0d208c7e4f58b01 jdk7-b24
+58039502942e52f4144a33f36290a2bd2f3581e6 jdk7-b25