release 1.7.2

diff --git a/include/version.php b/include/version.php
index 942020f0da03efcd4f2d44d488778f90a681734b..7a3bb076e6f81ed518ce481e9df8b7b6e3d89060 100644 (file)
--- a/include/version.php
+++ b/include/version.php
@@ -1,3 +1,3 @@
 <?php
-       define('VERSION', "1.7.1");
+       define('VERSION', "1.7.2");
 ?>