On 20 July 2015 at 13:23, Michał Bartoszkiewicz <mbartoszkiewicz at gmail.com> wrote: > Yes, the patch fixes the problem. Pushed to master, thanks for the quick testing. I'll do a new release at the end of this week. Richard.