diff options
author | Joe Watkins <krakjoe@php.net> | 2017-11-07 15:35:14 +0000 |
---|---|---|
committer | Joe Watkins <krakjoe@php.net> | 2017-11-07 15:35:14 +0000 |
commit | 3be68103851b5a58d17ac094b7eed9de14bd8eb1 (patch) | |
tree | c2a10fc3183f66ad788036ff1a763347b0ecb0cc /main | |
parent | ba9df1cff628e5ddbcadff3c144f335e39f659b6 (diff) | |
download | php-git-3be68103851b5a58d17ac094b7eed9de14bd8eb1.tar.gz |
bump versions
Diffstat (limited to 'main')
-rw-r--r-- | main/php_version.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/main/php_version.h b/main/php_version.h index 8f06cc6903..3a1e5ff67d 100644 --- a/main/php_version.h +++ b/main/php_version.h @@ -2,7 +2,7 @@ /* edit configure.in to change version number */ #define PHP_MAJOR_VERSION 7 #define PHP_MINOR_VERSION 1 -#define PHP_RELEASE_VERSION 12 +#define PHP_RELEASE_VERSION 13 #define PHP_EXTRA_VERSION "-dev" -#define PHP_VERSION "7.1.12-dev" -#define PHP_VERSION_ID 70112 +#define PHP_VERSION "7.1.13-dev" +#define PHP_VERSION_ID 70113 |