https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111288
--- Comment #4 from Bruno Haible <bruno at clisp dot org> --- My proposed patch is a correction to commit 2b4e0415ad664cdb3ce87d1f7eee5ca26911a05b by Jakub Jelinek. > patches should be posted to gcc-patches@ after reading > https://gcc.gnu.org/contribute.html I do have a copyright assigment for GCC in place. But I don't have time to follow the entire procedure. Maybe someone else can take over, from this point?
