On Wed, 31 Jul 2024 at 16:15, Ashutosh Bapat <[email protected]> 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 <[email protected]> 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