Since come "dist-upgrade"s ago, this problem does no longer occur, so I think the bug has been fixed.
Since come "dist-upgrade"s ago, this problem does no longer occur, so I think the bug has been fixed.