On Tue, 30 Jan 2024 at 12:25, David Rowley <dgrowle...@gmail.com> wrote: > I'll push this change to master only as there don't seem to have been > any complaints. We can reconsider that if someone complains.
Pushed. David
On Tue, 30 Jan 2024 at 12:25, David Rowley <dgrowle...@gmail.com> wrote: > I'll push this change to master only as there don't seem to have been > any complaints. We can reconsider that if someone complains.
Pushed. David