diff options
author | Christoph M. Becker <cmbecker69@gmx.de> | 2019-08-13 23:23:43 +0200 |
---|---|---|
committer | Christoph M. Becker <cmbecker69@gmx.de> | 2019-08-13 23:23:43 +0200 |
commit | fe7997912d2aec3a3836a426034521b083434fdb (patch) | |
tree | b0bb141b43c6e45ed0c62dedc8f27ca16851abd8 /main | |
parent | a33361a37c0b3bfbeb821e33b254375459a9d2bc (diff) | |
download | php-git-fe7997912d2aec3a3836a426034521b083434fdb.tar.gz |
Bump version numbers
This should have been done four weeks ago already.
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 0f5cce4a4f..431f592491 100644 --- a/main/php_version.h +++ b/main/php_version.h @@ -2,7 +2,7 @@ /* edit configure.ac to change version number */ #define PHP_MAJOR_VERSION 7 #define PHP_MINOR_VERSION 3 -#define PHP_RELEASE_VERSION 8 +#define PHP_RELEASE_VERSION 9 #define PHP_EXTRA_VERSION "-dev" -#define PHP_VERSION "7.3.8-dev" -#define PHP_VERSION_ID 70308 +#define PHP_VERSION "7.3.9-dev" +#define PHP_VERSION_ID 70309 |