From 452c41ec9ea1d21db0bd77055969599670c97ae3 Mon Sep 17 00:00:00 2001 From: Sebastian Bergmann Date: Thu, 30 Aug 2001 15:33:43 +0000 Subject: [PATCH] HEAD has been 4.0.8-dev for some time now, so name it accordingly. --- configure.in | 2 +- main/php_version.h | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/configure.in b/configure.in index aee8243cd8..dc1d045896 100644 --- a/configure.in +++ b/configure.in @@ -51,7 +51,7 @@ dnl ## All of these are normally in the extension directories. dnl ## Diversion 5 is the last one. Here we generate files and clean up. dnl ## This is where the version number is changed from now on! -AM_INIT_AUTOMAKE(php, 4.0.7-dev, nodefine) +AM_INIT_AUTOMAKE(php, 4.0.8-dev, nodefine) PHP_VERSION=$VERSION echo "/* automatically generated by configure */" > php_version.h.new diff --git a/main/php_version.h b/main/php_version.h index cd8c544248..5f022e4588 100644 --- a/main/php_version.h +++ b/main/php_version.h @@ -1,3 +1,3 @@ /* automatically generated by configure */ /* edit configure.in to change version number */ -#define PHP_VERSION "4.0.7-dev" +#define PHP_VERSION "4.0.8-dev" -- 2.50.1