# HG changeset patch
# User amurillo
# Date 1367594378 25200
# Node ID 3cb1b05fa4de094c666bd8340c760198a2030332
# Parent  4dec41b3c5e3bb616f0c6f15830d940905aa5d16
8013800: new hotspot build - hs25-b32
Reviewed-by: jcoomes

diff -r 4dec41b3c5e3 -r 3cb1b05fa4de hotspot/make/hotspot_version
--- a/hotspot/make/hotspot_version	Wed Jul 05 18:54:28 2017 +0200
+++ b/hotspot/make/hotspot_version	Fri May 03 08:19:38 2013 -0700
@@ -35,7 +35,7 @@
 
 HS_MAJOR_VER=25
 HS_MINOR_VER=0
-HS_BUILD_NUMBER=31
+HS_BUILD_NUMBER=32
 
 JDK_MAJOR_VER=1
 JDK_MINOR_VER=8