On 6/3/21 5:10 PM, D. Hugh Redelmeier wrote:
| 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>$
Or even: * ^List-Id: .*<.*\.gcc\.gnu\.org>$
