Subject: Re: [PATCH] gnu: raspberry-pi: Add helpers for config.txt file generation.

From: Stefan <[email-masked]>
Date: Sat, 27 Mar 2021 17:40:27 +0100

Hi!

Another friendly ping! This patch is meanwhile really getting old, but it is still not forgotten. :-)

<http://issues.guix.gnu.org/44543>

Bye

Stefan