jdk8-mips64-public/hotspot: diff make/hotspot_version

diff: make/hotspot_version

make/hotspot_version

changeset 7775: 0b64c713d208
parent 7771: 4390345de45c
child 7784: 974d7f3df726

     1.1 --- a/make/hotspot_version	Fri Apr 17 01:33:16 2015 -0700
     1.2 +++ b/make/hotspot_version	Fri Apr 17 01:54:23 2015 -0700
     1.3 @@ -35,7 +35,7 @@
     1.4  
     1.5  HS_MAJOR_VER=25
     1.6  HS_MINOR_VER=60
     1.7 -HS_BUILD_NUMBER=12
     1.8 +HS_BUILD_NUMBER=13
     1.9  
    1.10  JDK_MAJOR_VER=1
    1.11  JDK_MINOR_VER=8