On Tue, May 23, 2017 at 5:58 PM, Carlo Lobrano <c.lobrano at gmail.com> wrote: > What I can reproduce is the crash, and I can also confirm that this patch > fix it very well. Thank you! Thanks for checking! -- Aleksander https://aleksander.es