* 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
