Release FreshRSS 1.12.0

https://github.com/FreshRSS/FreshRSS/pull/2049
https://github.com/FreshRSS/FreshRSS/milestones/1.12.0

CHANGELOG.md

@@ -1,6 +1,6 @@
 # FreshRSS changelog
 
-## 2018-10-XX FreshRSS 1.11.3-dev
+## 2018-10-28 FreshRSS 1.12.0
 
 * Features
 	* Ability to add *labels* (custom tags) to articles [#928](https://github.com/FreshRSS/FreshRSS/issues/928)

constants.php

@@ -2,7 +2,7 @@
 //NB: Do not edit; use ./constants.local.php instead.
 
 //<Not customisable>
-define('FRESHRSS_VERSION', '1.11.3-dev');
+define('FRESHRSS_VERSION', '1.12.0');
 define('FRESHRSS_WEBSITE', 'https://freshrss.org');
 define('FRESHRSS_WIKI', 'https://freshrss.github.io/FreshRSS/');