From 477de4e2df48cbe1aac2f4d5c96919bdfb6011a9 Mon Sep 17 00:00:00 2001
From: logmanoriginal <logmanoriginal@users.noreply.github.com>
Date: Sun, 1 Dec 2019 13:34:09 +0100
Subject: [PATCH] Bump version to 2019-12-01

---
 lib/Configuration.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/Configuration.php b/lib/Configuration.php
index 8978ea70..6d524234 100644
--- a/lib/Configuration.php
+++ b/lib/Configuration.php
@@ -28,7 +28,7 @@ final class Configuration {
 	 *
 	 * @todo Replace this property by a constant.
 	 */
-	public static $VERSION = 'dev.2019-09-12';
+	public static $VERSION = '2019-12-01';
 
 	/**
 	 * Holds the configuration data.