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

From: Tom Tromey <[email-masked]>
Date: Sun, 24 May 2020 20:10:35 -0600

Stefan> I just pushed a fix for it.

Can this bug be closed then?

Tom