Hi Gary, Il giorno mar, 19/06/2018 alle 13.45 +0200, Gary Curtin ha scritto: > I did not file a bug report as that has already been done by others Could you please share here the link of the bug? I am interested in it. Thanks, Andrea