# HG changeset patch
# User katleman
# Date 1369437626 25200
# Node ID 4fafaf293aa5666e8c9f5ca1d96c3f752305f586
# Parent  3e145a686fedd9eefdcb6b714241200ed236b41d
Added tag jdk7u25-b13 for changeset 3e145a686fed

diff -r 3e145a686fed -r 4fafaf293aa5 .hgtags
--- a/.hgtags	Wed May 22 15:44:50 2013 -0700
+++ b/.hgtags	Fri May 24 16:20:26 2013 -0700
@@ -398,3 +398,4 @@
 402184622f60a2ba35479bdf124a8d4694835406 jdk7u25-b10
 cca49a35bf83664456af112482ffb3a7465d21fa jdk7u25-b11
 7ca68c0674df72fdd784de337c049404d2b5b0c3 jdk7u25-b12
+3e145a686fedd9eefdcb6b714241200ed236b41d jdk7u25-b13