diff --git a/version.php b/version.php
index 2553c804..4a98a0a2 100755
--- a/version.php
+++ b/version.php
@@ -1,7 +1,7 @@
 <?php 
 
 $version="OSS"; 
-$version_revision="1.11";
+$version_revision="1.12";
 $gitinfo = file_get_contents("../gitinfo.json");
 if (!empty($gitinfo)) {
   $gitinfo = json_decode($gitinfo);