Prepare release 1.13.1

CHANGELOG.md

@@ -1,6 +1,6 @@
 # FreshRSS changelog
 
-## 2019-01-XX FreshRSS 1.13.1-dev
+## 2019-01-26 FreshRSS 1.13.1
 
 * Features
 	* Include articles with custom labels during export [#2196](https://github.com/FreshRSS/FreshRSS/issues/2196)

constants.php

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