On Fri, Oct 06, 2017 at 10:09:03AM +0200, Beniamino Galvani wrote:
> On Thu, Oct 05, 2017 at 04:55:03PM +0200, Guillaume Nault wrote:
> > Sorry for the delay, I've followed a few complicated dead ends before
> > getting to this simple and rather obvious fix.
> > 
> > Can you try this patch?
> > 
> > [..]
> 
> The patch solves the issue, thanks.
> 
Thanks, I'm going to do some more tests and submit it formally.

Reply via email to