Subject: Re: [PATCH 0/2] Update Requirements section.
From: "pelzflorian (Florian Pelz)" <[email-masked]>
To: [email-masked]
Date: Fri, 26 Apr 2024 12:07:55 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Pushed as 991f67902fd4be2b63f32274ed35d9f304c1c3f1
and 58646a949aadb4d7058aed9052d419730798d19d.

Regards,
Florian