Processed: Re: Bug#188731: debian-policy: "strip --strip-unneeded" is insufficient

2018-10-28 Thread Debian Bug Tracking System
Processing control commands: > tag -1 -patch +pending Bug #188731 [debian-policy] Also strip .comment and .note sections Removed tag(s) patch. Bug #188731 [debian-policy] Also strip .comment and .note sections Added tag(s) pending. -- 188731: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=188

Processed: Re: Bug#188731: debian-policy: "strip --strip-unneeded" is insufficient

2018-10-27 Thread Debian Bug Tracking System
Processing control commands: > tag -1 +patch Bug #188731 [debian-policy] Also strip .comment and .note sections Added tag(s) patch. -- 188731: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=188731 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Processed: Re: Bug#188731: debian-policy: "strip --strip-unneeded" is insufficient

2003-07-18 Thread Debian Bug Tracking System
Processing commands for [EMAIL PROTECTED]: > 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 (administra