# HG changeset patch
# User amurillo
# Date 1372411993 25200
# Node ID e79e2118191a129b0384ff4d040575d5d85823a9
# Parent  0a85476a0b9cb876d5666d45097dac68bef3fce1
8019302: new hotspot build - hs25-b40
Reviewed-by: jcoomes

diff -r 0a85476a0b9c -r e79e2118191a hotspot/make/hotspot_version
--- a/hotspot/make/hotspot_version	Wed Jul 05 19:02:09 2017 +0200
+++ b/hotspot/make/hotspot_version	Fri Jun 28 02:33:13 2013 -0700
@@ -35,7 +35,7 @@
 
 HS_MAJOR_VER=25
 HS_MINOR_VER=0
-HS_BUILD_NUMBER=39
+HS_BUILD_NUMBER=40
 
 JDK_MAJOR_VER=1
 JDK_MINOR_VER=8