On 7/12/19 2:36 PM, Giuliano Belinassi wrote: > Hi, > > It seems that this patch wasn't merged to trunk yet. Is there any > problem to it? Nope. Just assumed you had access and would commit it yourself. I'll go ahead and commit it for you shortly.
jeff
