la recherche ne fonctionne pas lorsque la requête contient des /

Tout est dans le titre :-)

J'ai pu corriger le problème de mon côté en surchargeant le fichier inc/rechercher.php. J'ai ajouté cette ligne à la ligne 171 :

$recherche_mod = str_replace('/', '\\/', $recherche_mod);

Ce bug semble être apparu avec SPIP 3.1.