On Wed, Jun 02, 2021 at 10:25:34AM +0200, Andreas Schwab wrote: > On Jun 01 2021, Segher Boessenkool wrote: > > -* ^List-Id: .*<.*@gcc.gnu.org>$<br /> > > +* ^List-Id: .*<.*.gcc.gnu.org>$<br /> > > Shouldn't the < and > be mangled as < and >?
"It works fine for me!" You are right of course. Segher