https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119959

--- Comment #11 from Bruno Haible <bruno at clisp dot org> ---
(In reply to Sam James from comment #10)
> Dupe. See https://gitlab.com/gnu-clisp/clisp/-/merge_requests/12 too.
> 
> *** This bug has been marked as a duplicate of bug 118779 ***

Thanks Sam, 1. for the analysis, 2. for finding the said merge request. I had
missed it, due to inadequate notification settings on GitLab.

Reply via email to