# HG changeset patch
# User amurillo
# Date 1327108053 28800
# Node ID 5d25e03c3634caa2fce67dd3cc20cc3ce3572dbc
# Parent  498124337041ad53cbaa7eb110f3d7acd6d4eac4
7131979: new hotspot build - hs23-b12
Reviewed-by: jcoomes

diff -r 498124337041 -r 5d25e03c3634 hotspot/make/hotspot_version
--- a/hotspot/make/hotspot_version	Wed Jul 05 18:00:52 2017 +0200
+++ b/hotspot/make/hotspot_version	Fri Jan 20 17:07:33 2012 -0800
@@ -35,7 +35,7 @@
 
 HS_MAJOR_VER=23
 HS_MINOR_VER=0
-HS_BUILD_NUMBER=11
+HS_BUILD_NUMBER=12
 
 JDK_MAJOR_VER=1
 JDK_MINOR_VER=8