Hi Paul,
and thanks for the heads-up. I'm on 18.10 currently and don't see his issue anymore, so I assumed it had been fixed in the meantime without bothering to check here. Sorry about that!
Martin
Hi Paul,
and thanks for the heads-up. I'm on 18.10 currently and don't see his issue anymore, so I assumed it had been fixed in the meantime without bothering to check here. Sorry about that!
Martin