On Tue, 27 Jul 2021 at 21:36, Matthias van de Meent <boekewurm+postg...@gmail.com> wrote: > > On Tue, 27 Jul 2021 at 08:02, David Rowley <dgrowle...@gmail.com> wrote:\> > > I've adjusted the patch and attached what I came up with. Let me know > > what you think. > > I like this improved wording. Thanks!
I've pushed this with some very minor further wording adjustments. Thanks for working on this. David
