Subject: [PATCH] gnu: Add linux-libre 6.1.
From: Leo Famulari <[email-masked]>
To: [email-masked]
Date: Tue, 3 Jan 2023 12:08:17 -0500
List-Id: <debbugs-submit.debbugs.gnu.org>

I fixed a mistake and pushed as cfce55bf4f232791f4341665a01c4cb873f0f60d

The mistake was that I had named the config file for 32-bit
Intel-compatible systems "i386-linux.conf", but it actually should be
named "i686-linux.conf".