[spip-dev] core.spip.org ne répond plus, c'est normal ?

Bonjour,

core.spip.org ne répond plus, c'est normal ?
J'aimerais signaler un bug dans SPIP, où m'adresser ?

Tu peux le faire sur cette liste déjà.

J'ai signalé ce problème sur la liste depuis le 3/5, mais pas encore de réponse, pour cause de viaduc du mois de mai je suppose. Je voulais voir si le problème avait déjà été reporté comme bug.