# HG changeset patch
# User amurillo
# Date 1360964216 28800
# Node ID 912ffdf1c878be6192f048f3dd06fe21715b78c1
# Parent  6d3dcd34b5b962ea1ef9eed0dafdee9e812401bc
8008286: new hotspot build - hs25-b20
Reviewed-by: jcoomes

diff -r 6d3dcd34b5b9 -r 912ffdf1c878 hotspot/make/hotspot_version
--- a/hotspot/make/hotspot_version	Wed Jul 05 18:41:33 2017 +0200
+++ b/hotspot/make/hotspot_version	Fri Feb 15 13:36:56 2013 -0800
@@ -35,7 +35,7 @@
 
 HS_MAJOR_VER=25
 HS_MINOR_VER=0
-HS_BUILD_NUMBER=19
+HS_BUILD_NUMBER=20
 
 JDK_MAJOR_VER=1
 JDK_MINOR_VER=8