Processed: Re: Processed: Re: Bug#406753 closed by Matthias Klose <doko@cs.tu-berlin.de> (Re: Bug#406753: Ubuntu branding by default in Debian gcc manpage for -fstack-protector: please also add Debian default)

To: Matthias Klose <doko@cs.tu-berlin.de>
Cc: debian-bugs-closed@lists.debian.org (#406753), Debian GCC Maintainers <debian-gcc@lists.debian.org>(gcc-4.1 #406753)
Subject: Processed: Re: Processed: Re: Bug#406753 closed by Matthias Klose <doko@cs.tu-berlin.de> (Re: Bug#406753: Ubuntu branding by default in Debian gcc manpage for -fstack-protector: please also add Debian default)
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Tue, 05 Jun 2007 10:36:05 +0000
Message-id: <handler.s.C.118103970914522.transcript@bugs.debian.org>
In-reply-to: <18021.15448.85820.13878@gargle.gargle.HOWL>
References: <18021.15448.85820.13878@gargle.gargle.HOWL>

Processing commands for control@bugs.debian.org:

> close 406753
Bug#406753: Ubuntu branding by default in Debian gcc manpage for -fstack-protector: please also add Debian default
'close' is deprecated; see http://www.debian.org/Bugs/Developer#closing.
Bug closed, send any further explanations to AurÃ©lien GÃ?RÃ?ME <ag@roxor.cx>

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)

Reply to:

References:
- Re: Processed: Re: Bug#406753 closed by Matthias Klose <doko@cs.tu-berlin.de> (Re: Bug#406753: Ubuntu branding by default in Debian gcc manpage for -fstack-protector: please also add Debian default)
  - From: Matthias Klose <doko@cs.tu-berlin.de>