# HG changeset patch
# User amurillo
# Date 1337982979 25200
# Node ID c80d42d78a011135237d67f110c1b7044a6cef6d
# Parent  37add4fa0296705f67481e1fd50e2900cd25e39b
7171853: new hotspot build - hs24-b13
Reviewed-by: jcoomes

diff -r 37add4fa0296 -r c80d42d78a01 make/hotspot_version
--- a/make/hotspot_version	Fri May 25 14:45:36 2012 -0700
+++ b/make/hotspot_version	Fri May 25 14:56:19 2012 -0700
@@ -35,7 +35,7 @@
 
 HS_MAJOR_VER=24
 HS_MINOR_VER=0
-HS_BUILD_NUMBER=12
+HS_BUILD_NUMBER=13
 
 JDK_MAJOR_VER=1
 JDK_MINOR_VER=8