Hi Mikael, Mikael Djurfeldt <mik...@djurfeldt.com> skribis:
> I reverted 7379049d which solves the acute problem, but leave this bug for > Andy to close once he has had time to re-introduce 7379049d the way he > intended it. Thanks for reverting it! I can confirm that CI got greener: https://ci.guix.gnu.org/eval/1880849 Ludo’.