# HG changeset patch
# User amurillo
# Date 1398442962 25200
# Node ID 4e03f6196358c127ce163d6b8d6df749e0ee56ca
# Parent  18ae0dac7620474547aa1721bc3fd748af07b8b5
8041947: new hotspot build - hs25.20-b13
Reviewed-by: jcoomes

diff -r 18ae0dac7620 -r 4e03f6196358 make/hotspot_version
--- a/make/hotspot_version	Fri Apr 25 09:19:12 2014 -0700
+++ b/make/hotspot_version	Fri Apr 25 09:22:42 2014 -0700
@@ -35,7 +35,7 @@
 
 HS_MAJOR_VER=25
 HS_MINOR_VER=20
-HS_BUILD_NUMBER=12
+HS_BUILD_NUMBER=13
 
 JDK_MAJOR_VER=1
 JDK_MINOR_VER=8