# HG changeset patch
# User amurillo
# Date 1366962022 25200
# Node ID 187fb28beab5cc30e8766d2a691f17b365b5ba28
# Parent  e517701a4d0e25ae9c7945bca6e1762a8c5d8aa6
8013227: new hotspot build - hs25-b31
Reviewed-by: jcoomes

diff -r e517701a4d0e -r 187fb28beab5 hotspot/make/hotspot_version
--- a/hotspot/make/hotspot_version	Wed Jul 05 18:53:07 2017 +0200
+++ b/hotspot/make/hotspot_version	Fri Apr 26 00:40:22 2013 -0700
@@ -35,7 +35,7 @@
 
 HS_MAJOR_VER=25
 HS_MINOR_VER=0
-HS_BUILD_NUMBER=30
+HS_BUILD_NUMBER=31
 
 JDK_MAJOR_VER=1
 JDK_MINOR_VER=8