On Tue, 27 Jul 2021 at 21:36, Matthias van de Meent <[email protected]> wrote: > > On Tue, 27 Jul 2021 at 08:02, David Rowley <[email protected]> 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
