On Wed, 1 May 2024 at 11:30, David Rowley <dgrowleyml(at)gmail(dot)com> wrote:> I'll hold off with the v17 version for a while.
I've now pushed the fix for v17.
David