> Eric, can you push the approved fix for this issue (look for a message > from Richard P day or two back, approved by Richi)? I'm dealing with a > medical issue and heading offline again momentarily.
Sure, done. -- Eric Botcazou
Eric Botcazou via Gcc-patches Mon, 07 Nov 2022 08:37:38 -0800
> Eric, can you push the approved fix for this issue (look for a message > from Richard P day or two back, approved by Richi)? I'm dealing with a > medical issue and heading offline again momentarily.
Sure, done. -- Eric Botcazou