Re: [PATCH] various os-prober patches

2020-04-04 Thread Holger Wansing
Hi, Cyril Brulebois wrote: > I suppose it would make sense to sanity-check all patches to see if they > indeed do make sense in Debian (after all some might be really needed > for downstreams only, and could/should be made conditional or > something). > > Feel free to push a branch / open a MR w

Bug#955802: override: debian-med

2020-04-04 Thread Sandro Tosi
Package: ftp.debian.org Severity: normal Hello, there are several override disparities for the binary packages produced by src:debian-med: med-dental: Override says misc - optional, .deb says metapackages - optional med-bio-dev: Override says misc - optional, .deb says metapackages - optional med

Bug#955801: override: debian-junior

2020-04-04 Thread Sandro Tosi
Package: ftp.debian.org Severity: normal Hello, there are several override disparities for the binary packages produced by src:debian-junior: junior-system: Override says misc - optional, .deb says metapackages - optional junior-toys: Override says games - optional, .deb says metapackages - optio