On Thu, 23 Mar 2023 09:46:05 +0100 Thomas Goirand <z...@debian.org> wrote:
Hi,It's been a month since the last entry in this bug, with nobody able to reproduce the bug, and no answer from original submitter. Shall we:- close the bug? - lower severity? - apply the patch?
Introducing the proposed change should be harmless. I'd do that, specially if it relax some problems somewhere.
