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

diff: make/hotspot_version

make/hotspot_version

changeset 3486: 9f1c2b7cdfb6
parent 3441: 5f3fcd591768
child 3510: 1f22b536808b

     1.1 --- a/make/hotspot_version	Fri Jan 27 14:44:20 2012 -0800
     1.2 +++ b/make/hotspot_version	Fri Jan 27 14:49:54 2012 -0800
     1.3 @@ -35,7 +35,7 @@
     1.4  
     1.5  HS_MAJOR_VER=23
     1.6  HS_MINOR_VER=0
     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