Hi, On Wed, May 04, 2016 at 08:43:09AM +0200, Giuseppe Castagno wrote: > Hi David, > > On 05/02/2016 09:57 AM, David Tardon wrote: > > > > Where should I post this more complete fix? As a pull request in Github or > > > what else? > > > > Either a pull request or send the patch here. > > pull request sent. Thanks, merged. D.