> On 6 Oct 2022, at 14:15, Richard Biener <richard.guent...@gmail.com> wrote:
> 
>> Is this ok to commit?
> 
> I think this is reasonable, thus OK.

Great, thanks Richard :-)


Reply via email to