Processed: Re: Bug#879981: gcc-7-plugin-dev: Missing several generated headers

To: Matthias Klose <doko@debian.org>
Cc: debian-gcc@lists.debian.org
Subject: Processed: Re: Bug#879981: gcc-7-plugin-dev: Missing several generated headers
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Tue, 31 Oct 2017 06:24:03 +0000
Message-id: <[🔎] handler.s.B879981.150943084124447.transcript@bugs.debian.org>
References: <[🔎] 8bd640e9-d1d2-66a0-a32c-196870ee15b5@debian.org> <[🔎] 150914328164.12192.14667230898624986726.reportbug@localhost>

Processing control commands:

> tags -1 + moreinfo
Bug #879981 [gcc-7-plugin-dev] gcc-7-plugin-dev: Missing several generated headers
Added tag(s) moreinfo.

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

Reply to:

References:
- Bug#879981: gcc-7-plugin-dev: Missing several generated headers
  - From: Matthias Klose <doko@debian.org>
- Bug#879981: gcc-7-plugin-dev: Missing several generated headers
  - From: Ben Longbons <brlongbons@gmail.com>

Prev by Date: Bug#879981: gcc-7-plugin-dev: Missing several generated headers
Next by Date: Processing of gcc-8_8-20171031-1_amd64.changes
Previous by thread: Bug#879981: gcc-7-plugin-dev: Missing several generated headers
Next by thread: Bug#879985: gcc-8: add support of ada back
Index(es):
- Date
- Thread