release 1.2.13

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