Thomas Koenig via Gcc-patches Sat, 15 Jan 2022 13:30:29 -0800
Hi Harald,
An early *ping* ...
OK. Thanks for the patch! Best regards Thomas