On Mon, Sep 5, 2016 at 11:23 AM, Bartosz Gołaszewski <bartekgola at gmail.com> wrote: > Hi Denys, > > this patch looks good and fixes an existing issue - is there any > reason why it can't be merged? Sorry. Pushed it to git with minor changes. Please yell at me if I broke something.