diff options
| author | 2019-01-26 21:08:27 +0100 | |
|---|---|---|
| committer | 2019-01-26 21:08:27 +0100 | |
| commit | ef6df8aeca9f7b8dda96ab54fffd05f17b27606b (patch) | |
| tree | 5840b608e7434e88b2b48f21bd071dd71db58c2d /constants.php | |
| parent | 34fe41ac78b6bd465c12086edbbd856d9533065c (diff) | |
| parent | 4872442c62f63ef97a0e12c43b4700b98ebcdc15 (diff) | |
Merge branch 'dev' into dev-1.14.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 89eb5cda1..2072e5ea1 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.2-dev'); define('FRESHRSS_WEBSITE', 'https://freshrss.org'); define('FRESHRSS_WIKI', 'https://freshrss.github.io/FreshRSS/'); |
