On Wed, 31 Jul 2024 at 16:15, Ashutosh Bapat<ashutosh(dot)bapat(dot)oss(at)gmail(dot)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