# HG changeset patch
# User amurillo
# Date 1360340160 28800
# Node ID 1a0174612b496dc228976cb5987e55dcc4947990
# Parent  cdb46031e7184d37301288f5719121a63c7054b5
8007801: new hotspot build - hs25-b19
Reviewed-by: jcoomes

diff -r cdb46031e718 -r 1a0174612b49 make/hotspot_version
--- a/make/hotspot_version	Fri Feb 08 08:07:07 2013 -0800
+++ b/make/hotspot_version	Fri Feb 08 08:16:00 2013 -0800
@@ -35,7 +35,7 @@
 
 HS_MAJOR_VER=25
 HS_MINOR_VER=0
-HS_BUILD_NUMBER=18
+HS_BUILD_NUMBER=19
 
 JDK_MAJOR_VER=1
 JDK_MINOR_VER=8