--- a/jdk/.hgtags	Wed Jul 05 18:35:26 2017 +0200
+++ b/jdk/.hgtags	Thu Jan 10 09:55:58 2013 -0800
@@ -193,3 +193,4 @@
 a8012d8d7e9c5035de0bdd4887dc9f7c54008f21 jdk8-b69
 a996b57e554198f4592a5f3c30f2f9f4075e545d jdk8-b70
 2a5af0f766d0acd68a81fb08fe11fd66795f86af jdk8-b71
+32a57e645e012a1f0665c075969ca598e0dbb948 jdk8-b72