# HG changeset patch
# User amurillo
# Date 1356114469 28800
# Node ID cd962e15c08e0ce2a2a6e990641185a4bc73146a
# Parent  6a1fc440b39683e544d513ff6ce06884348e075e
8005382: new hotspot build - hs25-b15
Reviewed-by: jcoomes

diff -r 6a1fc440b396 -r cd962e15c08e make/hotspot_version
--- a/make/hotspot_version	Fri Dec 21 10:17:16 2012 -0800
+++ b/make/hotspot_version	Fri Dec 21 10:27:49 2012 -0800
@@ -35,7 +35,7 @@
 
 HS_MAJOR_VER=25
 HS_MINOR_VER=0
-HS_BUILD_NUMBER=14
+HS_BUILD_NUMBER=15
 
 JDK_MAJOR_VER=1
 JDK_MINOR_VER=8