Subject: Mako build fixed
From: Jelle Licht <[email-masked]>
To: [email-masked], [email-masked], [email-masked]
Date: Thu, 09 Feb 2023 15:29:00 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

I went ahead and pushed the solution posted with issue #61213 to master,
but thanks everyone and anyone who {reported,fixed} this issue!

- Jelle