--- a/hotspot/.hgtags	Wed Jul 05 18:35:26 2017 +0200
+++ b/hotspot/.hgtags	Thu Jan 10 09:55:30 2013 -0800
@@ -305,3 +305,4 @@
 990bbd393c239d95310ccc38094e57923bbf1d4a hs25-b14
 e94068d4ff52849c8aa0786a53a59b63d1312a39 jdk8-b70
 0847210f85480bf3848dc90bc2ab23c0a4791b55 jdk8-b71
+d5cb5830f570d1304ea4b196dde672a291b55f29 jdk8-b72