# HG changeset patch
# User amurillo
# Date 1402073610 25200
# Node ID 9d8f8852abcc87d42266e7c47a41d6d7250d9349
# Parent  11159d7ec80462a422e39c9b3a39ae932923622d
8046232: new hotspot build - hs25.20-b19
Reviewed-by: jcoomes

diff -r 11159d7ec804 -r 9d8f8852abcc make/hotspot_version
--- a/make/hotspot_version	Fri Jun 06 09:15:08 2014 -0700
+++ b/make/hotspot_version	Fri Jun 06 09:53:30 2014 -0700
@@ -35,7 +35,7 @@
 
 HS_MAJOR_VER=25
 HS_MINOR_VER=20
-HS_BUILD_NUMBER=18
+HS_BUILD_NUMBER=19
 
 JDK_MAJOR_VER=1
 JDK_MINOR_VER=8