From 8910eee46bc1f90e86d8d707f9964a55a8bc9399 Mon Sep 17 00:00:00 2001
From: duke <unknown>
Date: Wed, 5 Jul 2017 17:00:34 +0200
Subject: [PATCH] Added tag jdk7-b72 for changeset df4bcd06e1d0

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

diff --git a/.hgtags b/.hgtags
index 3f4c88299c..f849414c86 100644
--- a/.hgtags
+++ b/.hgtags
@@ -46,3 +46,4 @@ bca2225b66d78c4bf4d9801f54cac7715a598650 jdk7-b68
 1b662b1ed14eb4ae31d5138a36c433b13d941dc5 jdk7-b69
 207f694795c448c17753eff1a2f50363106960c2 jdk7-b70
 c5d39b6be65cba0effb5f466ea48fe43764d0e0c jdk7-b71
+df4bcd06e1d0ab306efa5a44f24a409dc0c0c742 jdk7-b72
-- 
GitLab