[Configuration] Bump version to 2019-07-06

logmanoriginal · logmanoriginal · commit 2120cc42fb07 · 2019-07-06T12:34:42.000+02:00
diff --git 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-06-08';
+	public static $VERSION = '2019-07-06';
 
 	/**
 	 * Holds the configuration data.

Original file line number	Diff line number	Diff line change
`@@ -28,7 +28,7 @@ final class Configuration {`
`28`	`28`	`*`
`29`	`29`	`* @todo Replace this property by a constant.`
`30`	`30`	`*/`
`31`		`- public static $VERSION = 'dev.2019-06-08';`
	`31`	`+ public static $VERSION = '2019-07-06';`
`32`	`32`
`33`	`33`	`/**`
`34`	`34`	`* Holds the configuration data.`