On Mon, 27 Aug 2018 at 09:15, Roberta Fagandini <robifagandini at gmail.com> wrote: > > Hi, > Hi, > > Yes, thanks! > Done in r73191. With 73192 I added an error for previous directories. > Roberta > -- ciao Luca www.lucadelu.org