Processing control commands:

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

-- 
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.141275015621578.transcr...@bugs.debian.org

Reply via email to