On Tue, 6 Sept 2022 at 13:29, David Rowley <dgrowleyml(at)gmail(dot)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