> On 6 Oct 2022, at 14:17, Richard Biener <[email protected]> wrote:
>> 
>> Ok to commit?
> 
> OK.

Thanks!

Reply via email to