# HG changeset patch
# User amurillo
# Date 1373674132 25200
# Node ID bd1dc81da579a8ee01689aabc67341a69b9d0190
# Parent  ea979302bb70561db41d29363151278bc4aa10d0
8020382: new hotspot build - hs25-b42
Reviewed-by: jcoomes

diff -r ea979302bb70 -r bd1dc81da579 make/hotspot_version
--- a/make/hotspot_version	Fri Jul 12 16:53:40 2013 -0700
+++ b/make/hotspot_version	Fri Jul 12 17:08:52 2013 -0700
@@ -35,7 +35,7 @@
 
 HS_MAJOR_VER=25
 HS_MINOR_VER=0
-HS_BUILD_NUMBER=41
+HS_BUILD_NUMBER=42
 
 JDK_MAJOR_VER=1
 JDK_MINOR_VER=8