On Fri, Jul 12, 2024 at 01:52:54PM +0800, Sean Whitton wrote: > On Sat 06 Jul 2024 at 07:49pm +02, Chris Hofstaedtler wrote: > > I'm happy to file the bugs, if policy intended to forbid this, and/or > > this bug does not get rejected. > > I would be happy to second this change too. > > Generally however we seek not to make packages buggy by releasing > Policy. So it would be good to file those bugs first.
Bugs are now filed. Chris
