diff --git a/githash.txt b/githash.txt
new file mode 100644
index 00000000..a64bb6fc
--- /dev/null
+++ b/githash.txt
@@ -0,0 +1 @@
+f64f6f64cbe6499f4060a487603626a6d712a484
\ No newline at end of file
diff --git a/version.php b/version.php
index bd15ca54..d57fe002 100755
--- a/version.php
+++ b/version.php
@@ -1,7 +1,7 @@
 <?php 
 
 $version="OSS"; 
-$version_revision="1.0";
+$version_revision="1.3.1";
 $githash = file_get_contents("../githash.txt");
 if (!empty($githash)) {
   $version_revision .= " (".substr($githash,0,8).")";