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

From: Stefan <[email-masked]>
Date: Thu, 6 May 2021 23:12:20 +0200

Hi!

I’m closing this ticket. There will be a new patch series which will also contain this change.

Bye

Stefan