Your message dated Fri, 9 Sep 2011 09:56:50 +0000
with message-id <20110909095650.GB2875@acm.acm>
and subject line Bug fixed.
has caused the GNU bug report #9448,
regarding 24.0.50; Comments in Awk scripts not fontified with comment face
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
9448: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=9448
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems