On Sat, Jun 16, 2018 at 09:50:54AM +0300, pierre-philipp braun wrote: > Should I report a bug or can you help me right now? Should I provide > some additional information? I think this was fixed in git but not yet released as 1.0.13. -- Valentin