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

Reply via email to