Your message dated Mon, 27 May 2024 09:47:07 +0800
with message-id <87sey4vxes.fsf@envs.net>
and subject line Re: [bug#71201] [PATCH] doc: Replace 'specification->package+output' with 'specifications->packages'.
has caused the debbugs.gnu.org bug report #71201,
regarding [PATCH] doc: Replace 'specification->package+output' with 'specifications->packages'.
to be marked as done.

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


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