Subject: Re: bug#56848: CC Mode fontification bug
From: Gregory Heytings <[email-masked]>
To: [email-masked]
Cc: Alan Mackenzie <[email-masked]>
Date: Sat, 14 Jan 2023 21:28:24 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Closing this bug.  The proposed patch has been included in commits 
4bd8ad2bc5 and 1cbc22b9c7.