Just to clarify the above: the desktop team reviewed the bug in their weekly meeting, and while we acknowledge it, we decided it's not worth fixing at this stage, given that 19.10 is about to be released.
Just to clarify the above: the desktop team reviewed the bug in their weekly meeting, and while we acknowledge it, we decided it's not worth fixing at this stage, given that 19.10 is about to be released.