[git] web/php.git branch master updated. 6637dad

The branch, master on web/php.git has been updated via 6637dad61f5d68fbf7693797dc2de880f1ddd468 (commit) from be9e61789e432461b98d0f6425eb83b6bb7175a2 (commit) http://git.php.net/?p=web/php.git;a=log;h=6637dad61f5d68fbf7693797dc2de880f1ddd468;hp=be9e61789e432461b98d0f6425eb83b6bb7175a2 Summary of changes: distributions | 1 - include/version.inc | 4 ++-- 2 files changed, 2 insertions(+), 3 deletions(-) delete mode 160000 distributions -- Log ---------------------------------------- commit 6637dad61f5d68fbf7693797dc2de880f1ddd468 Author: David Soria Parra <dsp@php.net> Date: Fri Feb 17 16:16:04 2012 +0100 PHP 5.4 RC8 diff --git a/distributions b/distributions deleted file mode 160000 index ded0904..0000000 --- a/distributions +++ /dev/null @@ -1 +0,0 @@ -Subproject commit ded0904f93cb86fbb23f5b4d5790c8df500b7bf7 diff --git a/include/version.inc b/include/version.inc index 98ddcf9..c2620d7 100644 --- a/include/version.inc +++ b/include/version.inc @@ -17,8 +17,8 @@ */ /* PHP 5.4 Release */ -$PHP_5_4_RC = '5.4.0RC7'; // set to false when there is no RC -$PHP_5_4_RC_DATE = "2 February 2012"; +$PHP_5_4_RC = '5.4.0RC8'; // set to false when there is no RC +$PHP_5_4_RC_DATE = "16 February 2012"; /* PHP 5.3 Release */ $PHP_5_3_RC = false; // '5.3.9RC4'; Thank you for your contribution.