--- a/.hgtags	Wed Jul 05 18:35:26 2017 +0200
+++ b/.hgtags	Wed Jul 05 18:35:27 2017 +0200
@@ -193,3 +193,4 @@
 adb5171c554e14cd86f618b5584f6e3d693d5889 jdk8-b69
 0d625373c69e2ad6f546fd88ab50c6c9aad01271 jdk8-b70
 a41ada2ed4ef735449531c6ebe6cec593d890a1c jdk8-b71
+6725b3961f987cf40f446d1c11cd324a3bec545f jdk8-b72