Je ne pense pas que les filtres de gmail soient bugués. Seulement, les messages qui ne sont pas archivés automatiquement ne doivent pas être pris par le filtre : le problème est que l'on ne peut filtrer que sur le champ To: et pas sur le champ List-Id. Donc ca ne marche pas quand des gens mettent la liste en copie cachée par exemple (ce qui arrive sur debian-devel pour les ITP entre autre).
[^] # Re: filtre gmail + archive
Posté par niol (site web personnel) . En réponse au journal Comment gérez vous, vos abonnements aux listes de diffusions ?. Évalué à 1.