Comment 8 for bug 1725242

Revision history for this message
mlentink (martin-athenenoctua) wrote :

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