mirror of
https://github.com/FreshRSS/FreshRSS.git
synced 2026-03-09 09:56:40 -04:00
Add the possibility to filter by feed ID like `f:123 more-search` or multiple feed IDs, like `f:123,234,345 more-search` or an exclusion like `!f:456,789 more-search`