# HG changeset patch
# User amurillo
# Date 1354323632 28800
# Node ID 816b7e5bf2ed3b3baf0a9ebae942996bc5e4cc99
# Parent  25bdce771bb3a7ae9825261a284d292cda700122
8004248: new hotspot build - hs25-b12
Reviewed-by: jcoomes

diff -r 25bdce771bb3 -r 816b7e5bf2ed make/hotspot_version
--- a/make/hotspot_version	Fri Nov 30 16:45:27 2012 -0800
+++ b/make/hotspot_version	Fri Nov 30 17:00:32 2012 -0800
@@ -35,7 +35,7 @@
 
 HS_MAJOR_VER=25
 HS_MINOR_VER=0
-HS_BUILD_NUMBER=11
+HS_BUILD_NUMBER=12
 
 JDK_MAJOR_VER=1
 JDK_MINOR_VER=8