Subject: reported to Debian under #955825

From: Adrian Zaugg <[email-masked]>
Date: Sun, 5 Apr 2020 13:58:54 +0200

Could you please close this bug, I reported it to Debian directly. You
can find it under #955825 [1]. Thank you.

[1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=955825

---

From: Mark Hindley <[email-masked]>
Date: Mon, 6 Apr 2020 09:59:40 +0100

> [1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=955825

Thanks.

Closing here.

Mark