Richard Fuchs writes: > Thanks, fixed in master. You can report things like that through our > github issue tracker. Thanks for quick fix. The crash is now gone. I'll use issue tracker next time if I find an issue. -- Juha