On 23/05/17 18:40, Aleksander Morgado 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! Pushed to git master, btw. -- Aleksander https://aleksander.es