On Tue, 6 Sept 2022 at 13:29, David Rowley <dgrowle...@gmail.com> wrote:
> I'll hold off a few days before pushing the other patch.  Tom stamped
> beta4 earlier, so I'll hold off until after the tag.

I've now pushed this.

David


Reply via email to