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 &lt; and &gt;?

"It works fine for me!"

You are right of course.


Segher

Reply via email to