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: Aurélien GÉRÔME <ag@roxor.cx>
Cc: Debian GCC Maintainers <debian-gcc@lists.debian.org>(gcc-4.1 #406753, gcc-4.1-doc #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:45:07 +0000
Message-id: <handler.s.C.118104020025132.transcript@bugs.debian.org>
In-reply-to: <20070605104248.GU13985@roxor.cx>
References: <20070605104248.GU13985@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.

> reassign 406753 gcc-4.1-doc
Bug#406753: Ubuntu branding by default in Debian gcc manpage for -fstack-protector: please also add Debian default
Bug reassigned from package `gcc-4.1' to `gcc-4.1-doc'.

> found 406753 4.1.1.nf3-1
Bug#406753: Ubuntu branding by default in Debian gcc manpage for -fstack-protector: please also add Debian default
Bug marked as found in version 4.1.1.nf3-1.

> thanks
Stopping processing here.

Please contact me if you need assistance.

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

Reply to:

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