On Wednesday, 5 June 2019 10.53.55 WEST Jean-Marc Lasgouttes wrote: > Indeed. This has been fixed by Uwe already, BTW. > > JMarc
You are right. Only yesterday while reviewing I finally noticed that the restriction was not there anymore. :-) I saw that because I was looking into the output of "git annotate" (who am I kidding, it was really "git blame") ;-) just to found out (as usual) that I am the one to blame. :-D -- José Abílio