On 04/17/2017 03:22 PM, Thomas Lange wrote: > The fix works for me. Please try to fix it soon, so the fixed version > will be going into the stretch release.
Thanks for the patch, Antoine, and confirmation, Thomas - I'll get an upload ready as soon as I can. -- Kind regards, Michael