# HG changeset patch
# User katleman
# Date 1407867167 25200
# Node ID 34c95bcacff79a5794416a8e715a8e63bfe7fc58
# Parent  f76715cd4e902602bdbb4ba9a3774c10afeee012
Added tag jdk8u25-b12 for changeset f76715cd4e90

diff -r f76715cd4e90 -r 34c95bcacff7 .hgtags
--- a/.hgtags	Tue Aug 05 13:36:13 2014 +0100
+++ b/.hgtags	Tue Aug 12 11:12:47 2014 -0700
@@ -312,3 +312,4 @@
 158837f537e45fc4664a56ad4759f8a1b30cab73 jdk8u25-b09
 7e00c05fc54b0404bf2eedda35dd38ae1ad23e50 jdk8u25-b10
 8cd6af10dd4de9e28ffe30c9107954fffd15dc99 jdk8u25-b11
+f76715cd4e902602bdbb4ba9a3774c10afeee012 jdk8u25-b12