From be76fc517ff99157f96af2c94b3d956dec90ff70 Mon Sep 17 00:00:00 2001
From: "J. Duke" <duke@openjdk.org>
Date: Wed, 5 Jul 2017 18:35:27 +0200
Subject: [PATCH] Added tag jdk8-b72 for changeset 6725b3961f98

---
 .hgtags | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.hgtags b/.hgtags
index dee53aa8e83..6accf5b6291 100644
--- a/.hgtags
+++ b/.hgtags
@@ -193,3 +193,4 @@ cb33628d4e8f11e879c371959e5948b66a53376f jdk8-b68
 adb5171c554e14cd86f618b5584f6e3d693d5889 jdk8-b69
 0d625373c69e2ad6f546fd88ab50c6c9aad01271 jdk8-b70
 a41ada2ed4ef735449531c6ebe6cec593d890a1c jdk8-b71
+6725b3961f987cf40f446d1c11cd324a3bec545f jdk8-b72