Processed: Re: Bug#1050027: Stop blocking other packages migration

Processing control commands: > severity -1 serious Bug #1050027 [libcoq-mathcomp-classical] libcoq-mathcomp-classical: undeclared file conflict with libcoq-mathcomp-analysis/bookworm+trixie Severity set to 'serious' from 'normal' -- 1050027: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=105

Bug#1050027: Stop blocking other packages migration

Control: severity -1 normal Hi, let's lower the severity to avoid blocking migration during the discussion -- after all the Breaks already avoids the file conflict issue. Cheers, J.Puydt