# HG changeset patch
# User amurillo
# Date 1406222968 25200
# Node ID 90b2ae0b131d9de43afc9b3ef688819bdafc4f55
# Parent  42ddd0bbcb6630fe463ec9bc1893c838d5edff1b
8051908: new hotspot build - hs25.20-b23
Reviewed-by: jcoomes

diff -r 42ddd0bbcb66 -r 90b2ae0b131d make/hotspot_version
--- a/make/hotspot_version	Tue Jul 22 20:52:56 2014 +0100
+++ b/make/hotspot_version	Thu Jul 24 10:29:28 2014 -0700
@@ -35,7 +35,7 @@
 
 HS_MAJOR_VER=25
 HS_MINOR_VER=20
-HS_BUILD_NUMBER=22
+HS_BUILD_NUMBER=23
 
 JDK_MAJOR_VER=1
 JDK_MINOR_VER=8