Hello,

I have just pushed the fix for the other bug.
Could you please check that it solves this issue as well and close it
in this case?

Andreas




Reply via email to