On Fri, Dec 11, 2015 at 2:38 PM, Mirko Vukovic <mirko.vukovic at gmail.com> wrote: > Thanks for identifying the issue - I look forward to the fix. Pushed ce92983. Cheers, -- Luís Oliveira http://kerno.org/~luis/