# HG changeset patch
# User amurillo
# Date 1399615823 25200
# Node ID f1b83c6b8411aea3e8e2950f220ee0d5b99abcbc
# Parent  c20d8a452574c85c8fc1f7f2d4e788cd6b156bc9
8042813: new hotspot build - hs25.20-b15
Reviewed-by: jcoomes

diff -r c20d8a452574 -r f1b83c6b8411 make/hotspot_version
--- a/make/hotspot_version	Thu May 08 23:07:12 2014 -0700
+++ b/make/hotspot_version	Thu May 08 23:10:23 2014 -0700
@@ -35,7 +35,7 @@
 
 HS_MAJOR_VER=25
 HS_MINOR_VER=20
-HS_BUILD_NUMBER=14
+HS_BUILD_NUMBER=15
 
 JDK_MAJOR_VER=1
 JDK_MINOR_VER=8