# HG changeset patch
# User amurillo
# Date 1397776720 25200
# Node ID a163af774cb9aa427f38da388e7204759f47a986
# Parent  49b5160951dd5197b44527db2aab6c598225e9a9
8040898: new hotspot build - hs25.20-b12
Reviewed-by: jcoomes

diff -r 49b5160951dd -r a163af774cb9 make/hotspot_version
--- a/make/hotspot_version	Thu Apr 17 16:09:08 2014 -0700
+++ b/make/hotspot_version	Thu Apr 17 16:18:40 2014 -0700
@@ -35,7 +35,7 @@
 
 HS_MAJOR_VER=25
 HS_MINOR_VER=20
-HS_BUILD_NUMBER=11
+HS_BUILD_NUMBER=12
 
 JDK_MAJOR_VER=1
 JDK_MINOR_VER=8