On 2023-02-17 17:58, Alejandro Colomar wrote:
On 2/17/23 22:41, Siddhesh Poyarekar wrote:On 2023-02-17 16:39, Siddhesh Poyarekar wrote:You've got the customs right as far as submission is concerned; gccOh, one correction: patches typically go to gcc-patches at gcc dot gnu dot org.Okay, I'll take that note for next time. For this one, should I resend, or is it okay as is? Both are fine for me.
Probably makes sense to resend to gcc-patches. Thanks, Sid