Bug#798997: marked as done (gcc-5-plugin-dev: gcc-5 plugins unusable)

2015-09-29 Thread Debian Bug Tracking System
Your message dated Tue, 29 Sep 2015 16:00:59 + with message-id and subject line Bug#798997: fixed in gcc-5 5.2.1-18 has caused the Debian Bug report #798997, regarding gcc-5-plugin-dev: gcc-5 plugins unusable to be marked as done. This means that you

Bug#798997: marked as done (gcc-5-plugin-dev: gcc-5 plugins unusable)

2015-09-14 Thread Debian Bug Tracking System
Your message dated Tue, 15 Sep 2015 01:32:32 +0200 with message-id <55f75910.8010...@debian.org> and subject line Re: Bug#798997: gcc-5-plugin-dev: gcc-5 plugins unusable has caused the Debian Bug report #798997, regarding gcc-5-plugin-dev: gcc-5 plugins unusable to be marked as done. This means