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

From: Glenn Morris <[email-masked]>
Date: Wed, 07 Sep 2011 03:51:32 -0400

If you delete the compiled version of cc-fonts, it works...