Added tag jdk8u71-b13 for changeset 4493f4470bfd
diff --git a/.hgtags-top-repo b/.hgtags-top-repo
index 492a3da..4f2489c 100644
--- a/.hgtags-top-repo
+++ b/.hgtags-top-repo
@@ -508,3 +508,4 @@
 5b9d5e755832e86824826fda37c8e6ee4ed064f5 jdk8u71-b10
 4ad71baca90cbe089c121457a80f6693aa80b4e6 jdk8u71-b11
 4d09473111deb8fd6323df6f9e9536084cae2844 jdk8u71-b12
+4f9e7b1a4e04f2ae44c1f6501e4444b82c45afff jdk8u71-b13