Release FreshRSS 1.13.0

https://github.com/FreshRSS/FreshRSS/pull/2186
https://github.com/FreshRSS/FreshRSS/milestone/32
https://github.com/FreshRSS/FreshRSS/milestones/1.13.0

CHANGELOG.md

@@ -1,6 +1,6 @@
 # FreshRSS changelog
 
-## 2018-12-2X FreshRSS 1.13.0-dev
+## 2018-12-22 FreshRSS 1.13.0
 
 * API
 	* Improvements to the Google Reader API [#2093](https://github.com/FreshRSS/FreshRSS/pull/2093)

constants.php

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