On 5/6/22 08:19, Richard Biener wrote:
> But I would have been fine with LIKELY as well.

Ok, so let's go with this version.
I'm going to install the patch.

Martin

Reply via email to