Merge branch 'dev'

This is the end of the `dev` branch. Good bye old friend!

1 files changed, 1 insertions, 1 deletions

diff --git a/constants.php b/constants.php
index d4e9d1fa3..b6500f078 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.15.3');
+define('FRESHRSS_VERSION', '1.15.4-dev');
 define('FRESHRSS_WEBSITE', 'https://freshrss.org');
 define('FRESHRSS_WIKI', 'https://freshrss.github.io/FreshRSS/');