Processed: Re: Bug#911159: please stop building the frama-c GUI

["Debian Bug Tracking System" <owner@bugs.debian.org>]

Processing commands for control@bugs.debian.org:

> reopen 911159
Bug #911159 {Done: Ralf Treinen <treinen@free.fr>} [src:frama-c] please stop building the frama-c GUI
Bug reopened
Ignoring request to alter fixed versions of bug #911159 to the same values previously set
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
911159: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=911159
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems