Processing commands for cont...@bugs.debian.org:
> reopen 911159
Bug #911159 {Done: Ralf Treinen <trei...@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 ow...@bugs.debian.org with problems
