Subject: bug#857: Also Debian#1117831

From: Mark Hindley <[email-masked]>
Date: Sat, 11 Oct 2025 09:35:00 +0100

I know Rob thinks we have the wrong fix here.

The same issue has just been reported in Debian[1]. It will be worth seeing if
they find a different/better fix.

Mark

[1]   https://bugs.debian.org/1117831