On Tue, 17 May 2022 at 08:02, David Rowley <dgrowleyml(at)gmail(dot)com> wrote:> Yeah, must be a copy-pasto. I'll fix it with the attached after beta1> is tagged.
Pushed.
David