> If Richard approves the second patch (and you’re stuck for time) - then send me the patch(es) as attachments with the commit credits you want, and I can apply them for you.

Both patches only needed on gcc-10, if you can commit that’s great, many thanks.

For credits in GCC I’m known as Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
(and for the record, I do have a copyright assignment in place)

Happy new year to all,
FX