Processed: Re: Bug#798997: gcc-5-plugin-dev: gcc-5 plugins unusable

To: Matthias Klose <doko@debian.org>
Cc: debian-gcc@lists.debian.org
Subject: Processed: Re: Bug#798997: gcc-5-plugin-dev: gcc-5 plugins unusable
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Tue, 15 Sep 2015 06:45:05 +0000
Message-id: <[🔎] handler.s.B798997.14422992697616.transcript@bugs.debian.org>
References: <[🔎] 55F7BD7C.5010502@debian.org> <[🔎] 20150914201728.26528.48171.reportbug@scapa>

Processing control commands:

> tags -1 + pending
Bug #798997 {Done: Matthias Klose <doko@debian.org>} [gcc-5-plugin-dev] gcc-5-plugin-dev: gcc-5 plugins unusable
Added tag(s) pending.

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

Reply to:

References:
- Bug#798997: gcc-5-plugin-dev: gcc-5 plugins unusable
  - From: Matthias Klose <doko@debian.org>
- Bug#798997: gcc-5-plugin-dev: gcc-5 plugins unusable
  - From: Yves-Alexis Perez <corsac@debian.org>

Prev by Date: Bug#798997: gcc-5-plugin-dev: gcc-5 plugins unusable
Next by Date: Bug#798782: gcc-5: add gnat sjlj back
Previous by thread: Bug#798997: marked as done (gcc-5-plugin-dev: gcc-5 plugins unusable)
Next by thread: Bug#798997: marked as done (gcc-5-plugin-dev: gcc-5 plugins unusable)
Index(es):
- Date
- Thread