On 7/13/20 7:08 AM, Florian Weimer wrote:
* Bill Schmidt via Gcc:Matthias, if you want to post a patch for GCC 9 and GCC 10, I'm sure that would be accepted (though I do not have the power to pre-approve it). Or I can put it on my list for later in the summer when my life settles down. Your choice.I posted a patch: <https://gcc.gnu.org/pipermail/gcc-patches/2020-July/549947.html>
Thanks, Florian! Bill
Thanks, Florian