Hi Ludo, On Mon, 12 Feb 2024 at 11:11, Ludovic Courtès <ludovic.cour...@inria.fr> wrote:
> (Note that this problem may vanish once > <https://issues.guix.gnu.org/68741> has been merged.) This had been merged. Now, it does not crash. Is the problem hidden or vanished? Cheers, simon
