Not a blocker to me, but may be worth fixing to avoid it being an issue to others.

Yeah you are right Marshall. Thanks for pointing me to that.
I will just fix it now, does not take much time.

This vote is cancelled.

Jörn

Reply via email to