release 1.2.12

diff --git a/version.php b/version.php
index 59d34b208698116424c6b1bca1f710e8e2100956..baea20b3b4192078071361a210fe96789c37359d 100644 (file)
--- a/version.php
+++ b/version.php
@@ -1,3 +1,3 @@
 <?php
-       define('VERSION', "1.2.11.1");
+       define('VERSION', "1.2.12");
 ?>