# HG changeset patch
# User asaha
# Date 1409680847 25200
# Node ID 87acd349170a67f5debded06fc89a192a3999d09
# Parent  cc58d9704b4017efe9ebe4391d73d82c0caf6d1c
Added tag jdk7u72-b12 for changeset cc58d9704b40

diff -r cc58d9704b40 -r 87acd349170a .hgtags
--- a/.hgtags	Tue Sep 02 10:57:42 2014 -0700
+++ b/.hgtags	Tue Sep 02 11:00:47 2014 -0700
@@ -512,3 +512,4 @@
 0e25c3ae773a27dba34ec05ea28dbcd44ea6f933 jdk7u72-b09
 b63b6992ddd27688e276100be436bcf52e0525bc jdk7u72-b10
 65c68241236ab792fe72119a0b4c29effd048904 jdk7u72-b11
+cc58d9704b4017efe9ebe4391d73d82c0caf6d1c jdk7u72-b12