# HG changeset patch
# User amurillo
# Date 1402697078 25200
# Node ID 168c10900e793e9332d2ff10569d7ac8b41c0977
# Parent  b15553cde967dfd7781a4a5c669e4cb7db734317
8046798: new hotspot build - hs25.20-b20
Reviewed-by: jcoomes

diff -r b15553cde967 -r 168c10900e79 make/hotspot_version
--- a/make/hotspot_version	Fri Jun 13 14:17:43 2014 -0700
+++ b/make/hotspot_version	Fri Jun 13 15:04:38 2014 -0700
@@ -35,7 +35,7 @@
 
 HS_MAJOR_VER=25
 HS_MINOR_VER=20
-HS_BUILD_NUMBER=19
+HS_BUILD_NUMBER=20
 
 JDK_MAJOR_VER=1
 JDK_MINOR_VER=8