# HG changeset patch
# User amurillo
# Date 1328559504 28800
# Node ID eefb2f895ca190a593ba42ac955e82d88633c94e
# Parent  0071a6d64113a35ba345bb1580c256de5ce17d3e
7143122: new hotspot build - hs23-b15
Reviewed-by: jcoomes

diff -r 0071a6d64113 -r eefb2f895ca1 hotspot/make/hotspot_version
--- a/hotspot/make/hotspot_version	Wed Jul 05 18:02:06 2017 +0200
+++ b/hotspot/make/hotspot_version	Mon Feb 06 12:18:24 2012 -0800
@@ -35,7 +35,7 @@
 
 HS_MAJOR_VER=23
 HS_MINOR_VER=0
-HS_BUILD_NUMBER=14
+HS_BUILD_NUMBER=15
 
 JDK_MAJOR_VER=1
 JDK_MINOR_VER=8