(I totally misread the patch, sorry. duh.) On Wed, Jan 25, 2017 at 11:59 AM, Nicolas Goaziou wrote: > Hello, > > Rasmus writes: > > >> So would the following patch fix the issue? > > > > Looks fine to me. > > > > Thanks! > > Applied. Thank you. > > Regards, > > -- > Nicolas Goaziou > >