# HG changeset patch
# User amurillo
# Date 1352478977 28800
# Node ID f6651390f4e795920acd47380830e106b4eea638
# Parent  a2cf4d4a484378caea2e827ed604b2bbae58bdba
8003231: new hotspot build - hs25-b10
Reviewed-by: jcoomes

diff -r a2cf4d4a4843 -r f6651390f4e7 hotspot/make/hotspot_version
--- a/hotspot/make/hotspot_version	Wed Jul 05 18:29:57 2017 +0200
+++ b/hotspot/make/hotspot_version	Fri Nov 09 08:36:17 2012 -0800
@@ -35,7 +35,7 @@
 
 HS_MAJOR_VER=25
 HS_MINOR_VER=0
-HS_BUILD_NUMBER=09
+HS_BUILD_NUMBER=10
 
 JDK_MAJOR_VER=1
 JDK_MINOR_VER=8