Bug#963089: mig - Set priority to optional

2020-06-18 Thread Samuel Thibault
Bastian Blank, le jeu. 18 juin 2020 21:19:01 +0200, a ecrit: > So installing [mig] by default, by virtue of being defined with > priority "standard", is not appropriate. Oh! I don't it was ever intended. I'm actually surprised the discrepancy on the mig package was never noticed. > I've

Bug#963089: mig - Set priority to optional

2020-06-18 Thread Bastian Blank
Package: mig Version: 1.8-7 Severity: important mig is a development package. So installing it by default, by virtue of being defined with priority "standard", is not appropriate. I've overriden the priority already to "optional". Please fix the package itself. Bastian -- Not one hundred