mirror of
https://github.com/FreshRSS/FreshRSS.git
synced 2026-10-11 22:07:49 -04:00
Oups, mon précédent changement SQL avait cassé la recherche. Patch rapide en attendant une ré-optimisation en particulier pour le cas de recherche sur plusieurs mots