From 9a2397d3b95cf37e7152bc5a72c1626f2bd8071e Mon Sep 17 00:00:00 2001
From: Alejandro Murillo <amurillo@openjdk.org>
Date: Thu, 18 Jul 2013 09:25:07 -0700
Subject: [PATCH] Added tag hs25-b42 for changeset 72a811d263ec

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

diff --git a/hotspot/.hgtags b/hotspot/.hgtags
index f599a6f534e..edfa2aa21bf 100644
--- a/hotspot/.hgtags
+++ b/hotspot/.hgtags
@@ -360,3 +360,4 @@ c9dd82da51ed34a28f7c6b3245163ee962e94572 hs25-b40
 30b5b75c42ac5174b640fbef8aa87527668e8400 jdk8-b98
 2b9946e10587f74ef75ae8145bea484df4a2738b hs25-b41
 81b6cb70717c66375846b78bb174594ec3aa998e jdk8-b99
+9f71e36a471ae4a668e08827d33035963ed10c08 hs25-b42