diff -r 681e3aa11ac5 -r 8f5ca46a90af .hgtags
--- a/.hgtags	Mon Dec 07 13:16:21 2015 -0800
+++ b/.hgtags	Mon Dec 14 12:51:11 2015 -0800
@@ -508,6 +508,7 @@
 5b9d5e755832e86824826fda37c8e6ee4ed064f5 jdk8u71-b10
 4ad71baca90cbe089c121457a80f6693aa80b4e6 jdk8u71-b11
 4d09473111deb8fd6323df6f9e9536084cae2844 jdk8u71-b12
+4f9e7b1a4e04f2ae44c1f6501e4444b82c45afff jdk8u71-b13
 31a6e29ec33a9a3c6ac13ce66d3b96196700841c jdk8u72-b00
 d0afaafe3790d446d24ca35ddf61380457362b39 jdk8u72-b01
 2ffdd22b85317d3ba5ab28e34bcd288a5f18d998 jdk8u72-b02