> On 6 Oct 2022, at 14:17, Richard Biener <richard.guent...@gmail.com> wrote:
>> 
>> Ok to commit?
> 
> OK.

Thanks!

Reply via email to