Update to 1.8dev

diff --git a/backup/version.php b/backup/version.php
index 12ab607024504520b5e989cf2ef51b4617cbc3f7..1c45ac208ff7942c81b152d12038adb65704feee 100644 (file)
--- a/backup/version.php
+++ b/backup/version.php
@@ -7,6 +7,6 @@
 /// be performed (see db/backup_*.php)
 
     $backup_version = 2006082301;   // The current version is a date (YYYYMMDDXX)
-    $backup_release = "1.7dev";  // User-friendly version number
+    $backup_release = "1.8dev";  // User-friendly version number
 
 ?>