Your message dated Fri, 13 Sep 2013 00:10:48 -0400
with message-id <87fvt9l5tj.fsf@tines.lan>
and subject line Re: bug#15152: put-char documentation
has caused the debbugs.gnu.org bug report #15152,
regarding put-char documentation
to be marked as done.

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


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