# HG changeset patch
# User katleman
# Date 1369262687 25200
# Node ID eca480919c71072a31f62a61cb3aad30677007e3
# Parent  ef8e6f8305d524f3b448a85f901aadf1adc81fc0
Added tag jdk7u25-b12 for changeset ef8e6f8305d5

diff -r ef8e6f8305d5 -r eca480919c71 .hgtags
--- a/.hgtags	Wed May 15 13:30:36 2013 -0700
+++ b/.hgtags	Wed May 22 15:44:47 2013 -0700
@@ -276,3 +276,4 @@
 161ec4dd450d59e1b8ad136db231925c97ff6205 jdk7u25-b09
 c9da98e82bb006dccd94a50871d6cdb66fa2d7e7 jdk7u25-b10
 109386df5b8e259d0af802217769a3c448404e49 jdk7u25-b11
+ef8e6f8305d524f3b448a85f901aadf1adc81fc0 jdk7u25-b12