Update version number

* version.php

diff --git a/version.php b/version.php
index 99c8008fda6d13d3f3ccbbd04dc858fc24b9c626..e6fb40f97c5c81dc2a5682e07bc51c1e2ea02d22 100644 (file)
--- a/version.php
+++ b/version.php
@@ -22,6 +22,6 @@
 /**
  * ISSO version
  */
-define('ISSO_VERSION', '3.1.1');
+define('ISSO_VERSION', '3.1.2');
 
 ?>
\ No newline at end of file