Hi Marcus, thank you for the report. I've pushed your patch to the git repository. Should I push a new release right now or can it wait a bit? I'd prefer to wait for more substantial changes before uploading, but if there is a good reason to push the change right now, please let me know.
Tomasz
signature.asc
Description: Digital signature