Sorry about that. The patch was now merged upstream. Would you consider applying it now?
Best, Tobias On 10/28/2016 10:38 PM, Sandro Tosi wrote: > that patch is not even merged upstream in any branch, so pursue that > first than having the debian package be patched. >
