Subject: [bug#75518] Builds

From: Andreas Enge <[email-masked]>
Date: Fri, 7 Feb 2025 18:23:53 +0100

Hello,

just another data point, I managed to "guix build mpc" with
Zheng Junjie's added commits, again without any gash problems.

If we push, we should reorder the commits and un-DRAFT the ones marked
as in the works.

Andreas