HEAD has been 4.0.8-dev for some time now, so name it accordingly.

25 years ago · 452c41ec9e
2 changed files with 2 additions and 2 deletions
--- 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
--- 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"