# HG changeset patch
# User amurillo
# Date 1358516012 28800
# Node ID 0f9e3436040df61ccd3d23a75ca67b434a0856bb
# Parent  f3b3547e5e16af02c308683059dd665618ab264a
8006511: new hotspot build - hs25-b17
Reviewed-by: jcoomes

diff -r f3b3547e5e16 -r 0f9e3436040d hotspot/make/hotspot_version
--- a/hotspot/make/hotspot_version	Fri Jan 18 05:19:07 2013 -0800
+++ b/hotspot/make/hotspot_version	Fri Jan 18 05:33:32 2013 -0800
@@ -35,7 +35,7 @@
 
 HS_MAJOR_VER=25
 HS_MINOR_VER=0
-HS_BUILD_NUMBER=16
+HS_BUILD_NUMBER=17
 
 JDK_MAJOR_VER=1
 JDK_MINOR_VER=8