On 1.12.2019 21.37, Thorsten Glaser wrote: > Package: libgl1 > Version: 1.1.0-1+b1 > Severity: normal > > Please change Priority extra to optional, in accordance with latest > Policy, as to not make packages depending on libgl1 but of a conforming > priority violate Policy’s requirement of not depending on packages with > a lower priority.
That was done over two years ago in 1.0.0-1, so you are looking at the wrong package? Same thing with the other bug. -- t