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: Aurélien GÉRÔME <ag@roxor.cx>
Cc: Debian GCC Maintainers <debian-gcc@lists.debian.org>(gcc-4.1 #406753)
Subject: 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 09:57:16 +0000
Message-id: <handler.s.C.118103720214536.transcript@bugs.debian.org>
In-reply-to: <20070605095251.GR13985@roxor.cx>
References: <20070605095251.GR13985@roxor.cx>

Processing commands for control@bugs.debian.org:

> reopen 406753
Bug#406753: Ubuntu branding by default in Debian gcc manpage for -fstack-protector: please also add Debian default
Bug reopened, originator not changed.

> thanks
Stopping processing here.

Please contact me if you need assistance.

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

Reply to:

Follow-Ups:
- 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>

References:
- 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: Aurélien GÉRÔME <ag@roxor.cx>