Your message dated Thu, 03 Sep 2020 23:29:35 +0200
with message-id <87363yy2f4.fsf@gnu.org>
and subject line Re: [bug#43141] [PATCH 1/1] doc: Add "Getting Started" section.
has caused the debbugs.gnu.org bug report #43141,
regarding [PATCH 0/1] "Getting Started" section for the manual
to be marked as done.

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


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