Hi, Sébastien Lerique <[email protected]> writes:
> On 31 Oct 2024 at 14:16, Greg Hogan <[email protected]> wrote: >> Is there anything for Guix to do here or can the issue be closed? >> > > I'd say this can be closed as unsolved, at least until some progress is > found in https://github.com/thepowersgang/mrustc/issues/78 . > > Thanks for the follow-up, and best Marked as 'notfixed' via Debbugs (if that does what I think it does), and closed. -- Thanks, Maxim
