# HG changeset patch
# User xdono
# Date 1207765142 25200
# Node ID 10fbc32c25b0ec54fba077aa084a1aa9f0afea95
# Parent  bf2517e15f0c0f950e5b3143c4ca11e2df73dcc1
Added tag jdk7-b25 for changeset 510a9a867e27

diff -r bf2517e15f0c -r 10fbc32c25b0 jaxp/.hgtags
--- a/jaxp/.hgtags	Wed Jul 05 16:34:33 2017 +0200
+++ b/jaxp/.hgtags	Wed Apr 09 11:19:02 2008 -0700
@@ -1,1 +1,2 @@
 6ce5f4757bde08f7470cbb9f0b46da8f2f3d4f56 jdk7-b24
+a3b3ba7d6034dc754b51ddc3d281399ac1cae5f1 jdk7-b25