# HG changeset patch
# User amurillo
# Date 1411118600 25200
# Node ID 88467a76a382f7508cd7515fbb8aeda199f2d2ae
# Parent  b63d0e8bfc0738bba21ae67779780f59118a95f7
8058798: new hotspot build - hs25.40-b12
Reviewed-by: jcoomes

diff -r b63d0e8bfc07 -r 88467a76a382 make/hotspot_version
--- a/make/hotspot_version	Fri Sep 19 02:16:05 2014 -0700
+++ b/make/hotspot_version	Fri Sep 19 02:23:20 2014 -0700
@@ -35,7 +35,7 @@
 
 HS_MAJOR_VER=25
 HS_MINOR_VER=40
-HS_BUILD_NUMBER=11
+HS_BUILD_NUMBER=12
 
 JDK_MAJOR_VER=1
 JDK_MINOR_VER=8