diff --git a/lib/version.inc.php b/lib/version.inc.php
index eb1a527a..e2b46e06 100644
--- a/lib/version.inc.php
+++ b/lib/version.inc.php
@@ -19,7 +19,7 @@
 $version = '0.9.39.5';
 
 // Database version (YYYYMMDDC where C is a daily counter)
-$dbversion = '201805290';
+$dbversion = '201809180';
 
 // Distribution branding-tag (used for Debian etc.)
 $branding = '';