config.php-dist.patch
remove-tt-rss-layer.patch
fix-db-updater-script.patch
jshrink_php7.3_fix.patch
