@Sebastian, thanks for the clarification, the tag seemed a bit misleading.
In the meantime, I've dug up that the bug has in fact been fixed upstream, although how/when/if that might trickle down to Ubuntu 18.04 LTS, I have no idea.
@Sebastian, thanks for the clarification, the tag seemed a bit misleading.
In the meantime, I've dug up that the bug has in fact been fixed upstream, although how/when/if that might trickle down to Ubuntu 18.04 LTS, I have no idea.