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