On 10/5/22 09:15, Torbjorn SVENSSON via Gcc-patches wrote:
Hi,

Ping, https://gcc.gnu.org/pipermail/gcc-patches/2022-September/602541.html

Kind regards,
Torbjörn


Looks good to me, pushed to master branch as fa8e3a055a082e38aeab2561a5016b01ebfd6ebd.


Reply via email to