diff --git a/lib/version.inc.php b/lib/version.inc.php
index 3f870d38..eb1a527a 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 = '201805241';
+$dbversion = '201805290';
 
 // Distribution branding-tag (used for Debian etc.)
 $branding = '';