diff options
| author | 2019-01-26 13:11:44 +0100 | |
|---|---|---|
| committer | 2019-01-26 13:11:44 +0100 | |
| commit | 8b773d4c695c3a730049c9423edde745349a1c17 (patch) | |
| tree | 8579509ba903aa93311854334f7e651a5bd398d1 | |
| parent | 7902d10b3adee3788d770b9a75ac63b910140b0c (diff) | |
Prepare release 1.13.1
| -rw-r--r-- | CHANGELOG.md | 2 | ||||
| -rw-r--r-- | constants.php | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/CHANGELOG.md b/CHANGELOG.md index a32a1d43e..8d8f7c0a4 100644 --- a/CHANGELOG.md +++ b/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) diff --git a/constants.php b/constants.php index 89eb5cda1..8a49d7c01 100644 --- a/constants.php +++ b/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/'); |
