From 701332ce301f9ea9fa4d40eb945de0c1880dad8a Mon Sep 17 00:00:00 2001
From: Christopher Jones <sixd@php.net>
Date: Mon, 16 Apr 2012 13:43:41 -0700
Subject: [PATCH] Update to 5.4.2-dev

After PHP-5.4.1 was branched, the PHP-5.4 branch should have been 5.4.2-dev.
---
 main/php_version.h | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/main/php_version.h b/main/php_version.h
index b4c616ff54..13478d1756 100644
--- a/main/php_version.h
+++ b/main/php_version.h
@@ -2,7 +2,7 @@
 /* edit configure.in to change version number */
 #define PHP_MAJOR_VERSION 5
 #define PHP_MINOR_VERSION 4
-#define PHP_RELEASE_VERSION 1
-#define PHP_EXTRA_VERSION "RC1-dev"
-#define PHP_VERSION "5.4.1RC1-dev"
-#define PHP_VERSION_ID 50401
+#define PHP_RELEASE_VERSION 2
+#define PHP_EXTRA_VERSION "-dev"
+#define PHP_VERSION "5.4.2-dev"
+#define PHP_VERSION_ID 50402
-- 
2.40.0