Thomas Koenig via Gcc-patches Wed, 27 May 2020 06:04:13 -0700
Hi Mark,
ping
the patch looks good do me. Regards Thomas