Subject: Re: bug#56848: CC Mode fontification bug

From: Gregory Heytings <[email-masked]>
Date: Sat, 14 Jan 2023 21:28:24 +0000

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