diff --git a/lib/version.inc.php b/lib/version.inc.php
index 40aa7b18..fb8d88d3 100644
--- a/lib/version.inc.php
+++ b/lib/version.inc.php
@@ -19,7 +19,7 @@
 $version = '0.9.38.8';
 
 // Database version (YYYYMMDDC where C is a daily counter)
-$dbversion = '201801091';
+$dbversion = '201801100';
 
 // Distribution branding-tag (used for Debian etc.)
 $branding = '';