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

To: Sean Whitton <spwhitton@spwhitton.name>
Cc: debian-policy@lists.debian.org
Subject: Processed: Re: Bug#188731: debian-policy: "strip --strip-unneeded" is insufficient
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Sat, 27 Oct 2018 17:18:02 +0000
Message-id: <[🔎] handler.s.B188731.154066050427705.transcript@bugs.debian.org>
References: <[🔎] 87d0rvjoq6.fsf@iris.silentflame.com> <20030412172412.GA13439@play.smurf.noris.de>

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 owner@bugs.debian.org with problems

Reply to:

References:
- Bug#188731: debian-policy: "strip --strip-unneeded" is insufficient
  - From: Sean Whitton <spwhitton@spwhitton.name>

Prev by Date: Bug#912059: debian-policy: please increase ToC depth (for Lintian's benefit)
Next by Date: Bug#188731: debian-policy: "strip --strip-unneeded" is insufficient
Previous by thread: Bug#188731: debian-policy: "strip --strip-unneeded" is insufficient
Next by thread: Bug#188731: debian-policy: "strip --strip-unneeded" is insufficient
Index(es):
- Date
- Thread