From d18321117ac206be28e9b073d15fbaf60d2d05b1 Mon Sep 17 00:00:00 2001 From: bradymiller Date: Fri, 16 Aug 2013 21:57:43 -0700 Subject: [PATCH] On final testing before release --- version.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/version.php b/version.php index 740ffae55..908dd1f26 100644 --- a/version.php +++ b/version.php @@ -6,7 +6,7 @@ $v_major = '4'; $v_minor = '1'; $v_patch = '2'; -$v_tag = '-dev'; // minor revision number, should be empty for production releases +$v_tag = ''; // minor revision number, should be empty for production releases // A real patch identifier. This is incremented when release a patch for a // production release. Not the above $v_patch variable is a misnomer and actually -- 2.11.4.GIT