diff options
author | Remi Collet <remi@php.net> | 2019-02-19 12:46:52 +0100 |
---|---|---|
committer | Remi Collet <remi@php.net> | 2019-02-19 12:46:52 +0100 |
commit | b243f2feca66fe4d5f696dbe3d9453af272d5613 (patch) | |
tree | eaa764d90c788f8a34ef4981e7e388c3c9f25235 /configure.ac | |
parent | 928c42211f737640e4dc3c9702ba833c3059bddf (diff) | |
download | php-git-b243f2feca66fe4d5f696dbe3d9453af272d5613.tar.gz |
bump version to 7.2.17-dev
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index cbac316c7c..8e377930cd 100644 --- a/configure.ac +++ b/configure.ac @@ -107,7 +107,7 @@ int zend_sprintf(char *buffer, const char *format, ...); PHP_MAJOR_VERSION=7 PHP_MINOR_VERSION=2 -PHP_RELEASE_VERSION=16 +PHP_RELEASE_VERSION=17 PHP_EXTRA_VERSION="-dev" PHP_VERSION="$PHP_MAJOR_VERSION.$PHP_MINOR_VERSION.$PHP_RELEASE_VERSION$PHP_EXTRA_VERSION" PHP_VERSION_ID=`expr [$]PHP_MAJOR_VERSION \* 10000 + [$]PHP_MINOR_VERSION \* 100 + [$]PHP_RELEASE_VERSION` |