--- a/jdk/.hgtags	Wed Jul 05 18:34:52 2017 +0200
+++ b/jdk/.hgtags	Thu Jan 03 12:44:50 2013 -0800
@@ -192,3 +192,4 @@
 53fb43e4d614c92310e1fb00ec41d1960fd9facf jdk8-b68
 a8012d8d7e9c5035de0bdd4887dc9f7c54008f21 jdk8-b69
 a996b57e554198f4592a5f3c30f2f9f4075e545d jdk8-b70
+2a5af0f766d0acd68a81fb08fe11fd66795f86af jdk8-b71