Control: severity -1 normal On 2023-07-07 10:10:36 +0200, Helmut Grohne wrote: > Hi, > > On Fri, Jul 07, 2023 at 09:46:39AM +0200, Christian Marillat wrote: > > Severity: serious > > I believe that this is the wrong severity for this bug and it should be > downgraded. As I am not otherwise involved with this package, I'll leave > that up to maintainer and/or release team.
Indeed, downgrading. Cheers -- Sebastian Ramacher
