On Mon, 18 Jul 2022 at 11:25, François Dumont <frs.dum...@gmail.com> wrote:
>
> Hi
>
>      I just noticed that I still had this nice enhancement in my local
> branches.
>
>      Ok to commit ?

OK, thanks.

Reply via email to