mirror of
https://github.com/FreshRSS/FreshRSS.git
synced 2026-07-17 10:33:04 -04:00
Before user queries with labels were not translated. Actually, it was not even processed. Now those user queries are translated properly. See #3215