On 12/23/22 00:47, David Rowley wrote: > On Wed, 26 Oct 2022 at 14:38, David Rowley <dgrowleyml(at)gmail(dot)com> wrote: > > I've now pushed the final result. Thank you to everyone who provided > input on this.
This is a very good improvement. Thank you for working on it. -- Vik Fearing