# HG changeset patch
# User asaha
# Date 1409680788 25200
# Node ID 725e00d3fed3f4447bc9ab1925da2c3a564bafa5
# Parent  cfa494e8b9bcd29ba59f1bfa3c365418b4102f71
Added tag jdk7u72-b12 for changeset cfa494e8b9bc

diff -r cfa494e8b9bc -r 725e00d3fed3 .hgtags
--- a/.hgtags	Tue Sep 02 10:53:33 2014 -0700
+++ b/.hgtags	Tue Sep 02 10:59:48 2014 -0700
@@ -512,3 +512,4 @@
 f16ea19cfd03274e9e1fd5367c3f4c23accf4e75 jdk7u72-b09
 615c0d49e8927c9b03f5694df4ddb7a5e45eaf6d jdk7u72-b10
 b34f135642cddf3c15f1fecaad320cb12cbd9472 jdk7u72-b11
+cfa494e8b9bcd29ba59f1bfa3c365418b4102f71 jdk7u72-b12