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

diff: make/hotspot_version

make/hotspot_version

changeset 6648: 4e03f6196358
parent 6636: a163af774cb9
child 6652: 85d6efcb1fa3

     1.1 --- a/make/hotspot_version	Fri Apr 25 09:19:12 2014 -0700
     1.2 +++ b/make/hotspot_version	Fri Apr 25 09:22:42 2014 -0700
     1.3 @@ -35,7 +35,7 @@
     1.4  
     1.5  HS_MAJOR_VER=25
     1.6  HS_MINOR_VER=20
     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