Your message dated Tue, 2 Jul 2024 22:13:34 +0000
with message-id <CADwFkmnqf_NYvL8+Odhv6HUMB6FPQ3xrAuXVOJbACXYvAdpA8Q@mail.gmail.com>
and subject line Re: bug#71854: 31.0.50; with-editor typos
has caused the debbugs.gnu.org bug report #71854,
regarding with-editor typos in manual
to be marked as done.

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


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