Subject: [bug#75518] Builds

From: Andreas Enge <[email-masked]>
Date: Thu, 13 Feb 2025 15:01:58 +0100

Janneke, I agree with your comment in the latest commit that we should
coordinate through this bug (rather than IRC, where one misses the
action when one is not online).

Andreas