Your message dated Sat, 08 Dec 2012 00:35:09 +0800
with message-id <87624dx1ky.fsf@gnu.org>
and subject line Re: bug#13043: Invoking disabled commands interferes with the help system
has caused the debbugs.gnu.org bug report #13043,
regarding Invoking disabled commands interferes with the help system
to be marked as done.

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


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