Your message dated Thu, 6 May 2021 23:12:20 +0200
with message-id <86AB64B2-613D-49F9-8985-50766CB1DCF9@vodafonemail.de>
and subject line Re: [bug#44543] [PATCH] gnu: raspberry-pi: Add helpers for config.txt file generation.
has caused the debbugs.gnu.org bug report #44543,
regarding [PATCH] gnu: raspberry-pi: Add helpers for config.txt file generation.
to be marked as done.

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


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