# HG changeset patch
# User katleman
# Date 1352429154 28800
# Node ID 06a04d95a12f18f07610f5d787324e2ea15e6376
# Parent  3f309ff1d8ecd0210340ae9cfb40cc9072f66757
Added tag jdk7u12-b01 for changeset 3f309ff1d8ec

diff -r 3f309ff1d8ec -r 06a04d95a12f .hgtags
--- a/.hgtags	Thu Oct 18 22:08:45 2012 -0700
+++ b/.hgtags	Thu Nov 08 18:45:54 2012 -0800
@@ -222,3 +222,4 @@
 ff5e33bcfc2bb7c2a69cd20b91490922eb158af2 jdk7u10-b07
 76811225baeccd3ed77a3e2ec7745ba3d42acff5 jdk7u10-b08
 f8e8ef8e0a5eea83938dab38d9a8cf6354f5a92d jdk7u10-b09
+3f309ff1d8ecd0210340ae9cfb40cc9072f66757 jdk7u12-b01