On Wed, 31 Jul 2024 at 16:15, Ashutosh Bapat <ashutosh.bapat....@gmail.com> wrote: > We can commit your > version and see if users find it confusing.
Ok. I've now pushed the patch. Thanks for reviewing it. David
On Wed, 31 Jul 2024 at 16:15, Ashutosh Bapat <ashutosh.bapat....@gmail.com> wrote: > We can commit your > version and see if users find it confusing.
Ok. I've now pushed the patch. Thanks for reviewing it. David