| From: Martin Liška <mli...@suse.cz> | Which we recommend in the ection Filtering here: | https://gcc.gnu.org/lists.html
Thanks for the useful information. That document suggests: * ^List-Id: .*<.*.gcc.gnu.org>$ Surely this should be: * ^List-Id: .*<.*.gcc\.gnu\.org>$
