# HG changeset patch
# User asaha
# Date 1409680744 25200
# Node ID 8b534fca8884b6cf770cc9139208ca07f37028e6
# Parent  a9e695f0d831f115720a4dcad3d33e0003b0acad
Added tag jdk7u72-b12 for changeset a9e695f0d831

diff -r a9e695f0d831 -r 8b534fca8884 .hgtags
--- a/.hgtags	Tue Sep 02 10:50:16 2014 -0700
+++ b/.hgtags	Tue Sep 02 10:59:04 2014 -0700
@@ -730,3 +730,4 @@
 a27f16d45457a68a723acca621cb11bc173a0eb6 jdk7u72-b09
 e6508ab77271d1d3ce7b5f60d91a7334fdacb03a jdk7u72-b10
 c17a8487086433e14cd22373039a8b6b48e7cbb8 jdk7u72-b11
+a9e695f0d831f115720a4dcad3d33e0003b0acad jdk7u72-b12