--- a/hotspot/.hgtags	Mon May 29 10:32:37 2017 +0200
+++ b/hotspot/.hgtags	Thu Jun 01 18:26:33 2017 +0000
@@ -574,3 +574,4 @@
 16d692be099c5c38eb48cc9aca78b0c900910d5b jdk-9+169
 38a240fd58a287acb1963920b92ed4d9c2fd39e3 jdk-9+170
 d53171650a2cc6c6f699c966c533b914ca9c0602 jdk-9+171
+1ae9e84f68b359420d2d153ecfe5ee2903e33a2e jdk-9+172