# HG changeset patch
# User amurillo
# Date 1372975009 25200
# Node ID 9e3bf88e138511f027ba2b0faf91a0e022b25f2d
# Parent  711eb4aa87de68de78250e0549980936bab53d54
8019934: new hotspot build - hs25-b41
Reviewed-by: jcoomes

diff -r 711eb4aa87de -r 9e3bf88e1385 hotspot/make/hotspot_version
--- a/hotspot/make/hotspot_version	Wed Jul 05 19:03:14 2017 +0200
+++ b/hotspot/make/hotspot_version	Thu Jul 04 14:56:49 2013 -0700
@@ -35,7 +35,7 @@
 
 HS_MAJOR_VER=25
 HS_MINOR_VER=0
-HS_BUILD_NUMBER=40
+HS_BUILD_NUMBER=41
 
 JDK_MAJOR_VER=1
 JDK_MINOR_VER=8