# HG changeset patch
# User amurillo
# Date 1374165302 25200
# Node ID 85c14b79faf36ac9d86c097b9e591a2314e31928
# Parent  3d34036aae4ea90b2ca59712d5a69db3221f0875
8020797: new hotspot build - hs25-b43
Reviewed-by: jcoomes

diff -r 3d34036aae4e -r 85c14b79faf3 hotspot/make/hotspot_version
--- a/hotspot/make/hotspot_version	Wed Jul 05 19:04:56 2017 +0200
+++ b/hotspot/make/hotspot_version	Thu Jul 18 09:35:02 2013 -0700
@@ -35,7 +35,7 @@
 
 HS_MAJOR_VER=25
 HS_MINOR_VER=0
-HS_BUILD_NUMBER=42
+HS_BUILD_NUMBER=43
 
 JDK_MAJOR_VER=1
 JDK_MINOR_VER=8