Subject: Re: bug#38372: Error in mhtml-syntax-propertize in HTML with inline script

From: Tom Tromey <[email-masked]>
Date: Sun, 14 Feb 2021 11:04:05 -0700

>> Can this bug be closed then?

Stefan> I think so, but it would be good to get confirmation from someone who
Stefan> actually experienced this problem.

No response for quite a while, and it's fixed, so I am closing it.

Tom