Dear Alessandro, Seconded! I saw your ping on my phone and was going to respond..... well, now :-)
Thanks for the patch Paul On 26 February 2016 at 18:29, Thomas Koenig <tkoe...@netcologne.de> wrote: > Hi Allessandro, > >> * PING * > > > Looks obvious and simple enough for me. > > OK. > > Thanks for the patch! > > Thomas > -- The difference between genius and stupidity is; genius has its limits. Albert Einstein