diff -r c73bf1495c5d -r e831ce671fb0 .hgtags
--- a/.hgtags	Mon Nov 30 12:01:35 2015 -0800
+++ b/.hgtags	Mon Dec 07 12:59:55 2015 -0800
@@ -507,6 +507,7 @@
 4231747bc5013bbead0cefa37ae4d2a390f2d446 jdk8u71-b09
 5b9d5e755832e86824826fda37c8e6ee4ed064f5 jdk8u71-b10
 4ad71baca90cbe089c121457a80f6693aa80b4e6 jdk8u71-b11
+4d09473111deb8fd6323df6f9e9536084cae2844 jdk8u71-b12
 31a6e29ec33a9a3c6ac13ce66d3b96196700841c jdk8u72-b00
 d0afaafe3790d446d24ca35ddf61380457362b39 jdk8u72-b01
 2ffdd22b85317d3ba5ab28e34bcd288a5f18d998 jdk8u72-b02