I have not been able to find what the cause of the bug was - however, I made a new installation of Debian Sid, which shows no signs of the issue.

Reply via email to