On Fri, 6 May 2022 at 21:27, David Rowley <dgrowle...@gmail.com> wrote:
> I've attached a patch to fix.  I'll look at it in more detail after the 
> weekend.

I've now pushed this fix to master and backpatched to 14.

David


Reply via email to