Subject: bug#9448: 24.0.50; Comments in Awk scripts not fontified with comment face

From: Eli Zaretskii <[email-masked]>
Date: Wed, 07 Sep 2011 19:30:19 +0300

> From: Glenn Morris <[email-masked]>
> Cc: [email-masked]
> Date: Wed, 07 Sep 2011 03:51:32 -0400
> 
> 
> If you delete the compiled version of cc-fonts, it works...

You mean, delete it and never compile it again, yes?