Processing commands for control@bugs.debian.org: > severity 188731 wishlist Bug#188731: debian-policy: "strip --strip-unneeded" is insufficient Severity set to `wishlist'. > thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)