# HG changeset patch
# User amurillo
# Date 1376652247 25200
# Node ID ffce46afcee6e0855fea17b614a7b27f94bebc6a
# Parent  b5ed503c26ad38869c247c5e32debec217fd056b
8023152: new hotspot build - hs25-b47
Reviewed-by: jcoomes

diff -r b5ed503c26ad -r ffce46afcee6 hotspot/make/hotspot_version
--- a/hotspot/make/hotspot_version	Wed Jul 05 19:08:14 2017 +0200
+++ b/hotspot/make/hotspot_version	Fri Aug 16 04:24:07 2013 -0700
@@ -35,7 +35,7 @@
 
 HS_MAJOR_VER=25
 HS_MINOR_VER=0
-HS_BUILD_NUMBER=46
+HS_BUILD_NUMBER=47
 
 JDK_MAJOR_VER=1
 JDK_MINOR_VER=8