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

From: Stefan Monnier <[email-masked]>
Date: Sun, 24 May 2020 22:41:14 -0400

> Stefan> I just pushed a fix for it.
> Can this bug be closed then?

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

        Stefan