Subject: [bug#70022] doc: Binary installation: Add more distros.
From: "pelzflorian (Florian Pelz)" <[email-masked]>
To: [email-masked]
Date: Sun, 09 Jun 2024 01:29:14 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

(I’m resending this mail, trying to close this bug.)

Pushed as 66eb60509dfcba86fbe91a69d93614aa153cef83
to 0f9fe721be2bd36e52b520782b585ca49aa1447d

Thanks for the reviews to Maxim, giving confidence.

Regards,
Florian