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


Reply via email to