Bug#911159: marked as done (please stop building the frama-c GUI)

2018-11-12 Thread Debian Bug Tracking System
Your message dated Mon, 12 Nov 2018 12:20:10 + with message-id and subject line Bug#911159: fixed in frama-c 20171101+sulfur+dfsg-2 has caused the Debian Bug report #911159, regarding please stop building the frama-c GUI to be marked as done. This means that you claim that the problem has bee

Bug#911159: marked as done (please stop building the frama-c GUI)

2018-10-17 Thread Debian Bug Tracking System
Your message dated Wed, 17 Oct 2018 21:11:06 +0200 with message-id <20181017191105.ga31...@seneca.home.org> and subject line Re: Bug#911159: please stop building the frama-c GUI has caused the Debian Bug report #911159, regarding please stop building the frama-c GUI to be marked as done. This mean