Subject: Re: bug#71469: font-lock does not apply standard faces and their descendants

From: Stefan Monnier <[email-masked]>
Date: Wed, 09 Oct 2024 08:48:47 -0400

> How about "use quoted value 'font-lock-comment-face directly instead"?

Much better, yes.  I'd even say "symbol" rather than "value" to be
more precise.

        Stefan