diff --git a/lib/config.php b/lib/config.php
index 1e7eaf5..64049ea 100644
--- a/lib/config.php
+++ b/lib/config.php
@@ -1,5 +1,5 @@
 <?php
-$versionNo		= "v 0.7.1";
+$versionNo		= "v 0.7.2";
 $codeMirrorDir		= "CodeMirror-2.25";
 $cMThisVer		= 2.25;
 $tabsIndent		= true;