Your message dated Fri, 15 Feb 2013 20:18:38 +0000
with message-id <20130215201838.GE2907@acm.acm>
and subject line Re: bug #11152; c-doc-comment-style stops working as a style variable.
has caused the debbugs.gnu.org bug report #11152,
regarding 24.0.94; c-doc-comment-style stops working as a style variable
to be marked as done.

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


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