[pkg-netfilter-team] Bug#1031943: Should we do something?

[Arturo Borrero Gonzalez]

On Thu, 23 Mar 2023 09:46:05 +0100 Thomas Goirand <zigo at 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.