# HG changeset patch
# User amurillo
# Date 1327704594 28800
# Node ID 9f1c2b7cdfb6a081b60047d0b476242af3ea8b5d
# Parent  a80fd4f45d7aaa154ed2f86a129f3c9c4035ec7a
7135385: new hotspot build - hs23-b13
Reviewed-by: jcoomes

diff -r a80fd4f45d7a -r 9f1c2b7cdfb6 make/hotspot_version
--- a/make/hotspot_version	Fri Jan 27 14:44:20 2012 -0800
+++ b/make/hotspot_version	Fri Jan 27 14:49:54 2012 -0800
@@ -35,7 +35,7 @@
 
 HS_MAJOR_VER=23
 HS_MINOR_VER=0
-HS_BUILD_NUMBER=12
+HS_BUILD_NUMBER=13
 
 JDK_MAJOR_VER=1
 JDK_MINOR_VER=8