# HG changeset patch
# User amurillo
# Date 1354906516 28800
# Node ID 12125dacc077851c847b31fa2f28c5a037bd62eb
# Parent  cb33628d4e8f11e879c371959e5948b66a53376f
8004724: new hotspot build - hs25-b13
Reviewed-by: jcoomes

diff -r cb33628d4e8f -r 12125dacc077 hotspot/make/hotspot_version
--- a/hotspot/make/hotspot_version	Wed Jul 05 18:32:26 2017 +0200
+++ b/hotspot/make/hotspot_version	Fri Dec 07 10:55:16 2012 -0800
@@ -35,7 +35,7 @@
 
 HS_MAJOR_VER=25
 HS_MINOR_VER=0
-HS_BUILD_NUMBER=12
+HS_BUILD_NUMBER=13
 
 JDK_MAJOR_VER=1
 JDK_MINOR_VER=8