diff -r 0b0d8d3929e8 -r f2ca988f4efd .hgtags
--- a/.hgtags	Mon Dec 07 12:51:55 2015 -0800
+++ b/.hgtags	Mon Dec 14 12:43:32 2015 -0800
@@ -494,3 +494,4 @@
 dcb78b4ac30e7ace9db4c53450b54226cc753505 jdk8u71-b10
 8d7818ff955da951165530e2c76154145a9f6098 jdk8u71-b11
 65e3e76835672759adf73ba583139d6c0b36d661 jdk8u71-b12
+0b0d8d3929e8c5e1f10e702f23aaf992a08974f2 jdk8u71-b13