Processed: Re: Bug#840694: gcc: /usr/bin/gcc should use /etc/alternatives

To: Matthias Klose <doko@debian.org>
Cc: debian-gcc@lists.debian.org
Subject: Processed: Re: Bug#840694: gcc: /usr/bin/gcc should use /etc/alternatives
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Sat, 03 Dec 2016 21:09:05 +0000
Message-id: <[🔎] handler.s.B840694.148079917927216.transcript@bugs.debian.org>
References: <[🔎] 17d00070-a11d-989d-8253-2c8b57e41bac@debian.org> <147639870333.32040.16713237696839017757.reportbug@Diprotodon>

Processing control commands:

> tags -1 + wontfix
Bug #840694 [gcc] gcc: /usr/bin/gcc should use /etc/alternatives
Added tag(s) wontfix.

-- 
840694: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=840694
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#840694: gcc: /usr/bin/gcc should use /etc/alternatives
  - From: Matthias Klose <doko@debian.org>

Prev by Date: Bug#840694: gcc: /usr/bin/gcc should use /etc/alternatives
Next by Date: Bug#846872: gcc-7: FTBFS on m68k - fails to apply ada-m68k.diff patch
Previous by thread: Bug#840694: gcc: /usr/bin/gcc should use /etc/alternatives
Next by thread: Bug#840694: marked as done (gcc: /usr/bin/gcc should use /etc/alternatives)
Index(es):
- Date
- Thread