diff options
| author | 2018-12-22 13:14:08 +0100 | |
|---|---|---|
| committer | 2018-12-22 13:14:08 +0100 | |
| commit | 4a1a852f457d52fa47191e3f7e3e9073e1324cd9 (patch) | |
| tree | ddad42a7f6813bd458f39d5203d083daad4cc1c5 /constants.php | |
| parent | 949c2f3083e931bbc95611c5f25f92327e09b8ac (diff) | |
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
Diffstat (limited to 'constants.php')
| -rw-r--r-- | constants.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/constants.php b/constants.php index 65c2027ee..1f498b153 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.12.1-dev'); +define('FRESHRSS_VERSION', '1.13.0'); define('FRESHRSS_WEBSITE', 'https://freshrss.org'); define('FRESHRSS_WIKI', 'https://freshrss.github.io/FreshRSS/'); |
