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 overriden the priority already to "optional".  Please fix the
> package itself.

Yep, sure! Done so in the repo for next upload.

Samuel

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 percent efficient, of course ... but nothing ever is.
-- Kirk, "Metamorphosis", stardate 3219.8