# HG changeset patch
# User amurillo
# Date 1350671177 25200
# Node ID d0e7716b179e18e174a7454fecda7ef88726d2b6
# Parent  dccd40de8db1fa96f186e6179907818d75320440
8001176: new hotspot build - hs25-b07
Reviewed-by: jcoomes

diff -r dccd40de8db1 -r d0e7716b179e make/hotspot_version
--- a/make/hotspot_version	Fri Oct 19 11:03:04 2012 -0700
+++ b/make/hotspot_version	Fri Oct 19 11:26:17 2012 -0700
@@ -35,7 +35,7 @@
 
 HS_MAJOR_VER=25
 HS_MINOR_VER=0
-HS_BUILD_NUMBER=06
+HS_BUILD_NUMBER=07
 
 JDK_MAJOR_VER=1
 JDK_MINOR_VER=8