Processing control commands:

> reassign -1 g++-4.9 4.9.1-16
Bug #763228 [src:cbmc] cbmc: FTBFS: ld: final link failed: Bad value
Bug reassigned from package 'src:cbmc' to 'g++-4.9'.
No longer marked as found in versions cbmc/4.9-3.
Ignoring request to alter fixed versions of bug #763228 to the same values 
previously set
Bug #763228 [g++-4.9] cbmc: FTBFS: ld: final link failed: Bad value
Marked as found in versions gcc-4.9/4.9.1-16.
> affects -1 cbmc
Bug #763228 [g++-4.9] cbmc: FTBFS: ld: final link failed: Bad value
Added indication that 763228 affects cbmc

-- 
763228: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=763228
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems


--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: 
https://lists.debian.org/handler.s.b763228.141272892024741.transcr...@bugs.debian.org

Reply via email to