From 00fb87d1194cd904a36ef7d12d4679c6c882c735 Mon Sep 17 00:00:00 2001 From: bradymiller Date: Sat, 26 Mar 2011 01:50:53 -0700 Subject: [PATCH] Set to version 4.0.0 --- version.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/version.php b/version.php index 115fac09d..56af0b4a3 100644 --- a/version.php +++ b/version.php @@ -6,7 +6,7 @@ $v_major = '4'; $v_minor = '0'; $v_patch = '0'; -$v_tag = '-dev'; // minor revision number, should be empty for production releases +$v_tag = ''; // minor revision number, should be empty for production releases // Database version identifier, this is to be incremented whenever there // is a database change in the course of development. It is used -- 2.11.4.GIT