On Wed, 6 Jul 2022 at 13:34, David Rowley <dgrowleyml(at)gmail(dot)com> wrote:> If there are no objections, I plan to push this in the next 24 hours.
Pushed.
David