Processing commands for cont...@bugs.debian.org: > clone 763228 -1 Bug #763228 [src:cbmc] cbmc: FTBFS: ld: final link failed: Bad value Bug 763228 cloned as bug 764573 > severity -1 important Bug #764573 [src:cbmc] cbmc: FTBFS: ld: final link failed: Bad value Severity set to 'important' from 'serious' > reassign -1 src:binutils Bug #764573 [src:cbmc] cbmc: FTBFS: ld: final link failed: Bad value Bug reassigned from package 'src:cbmc' to 'src:binutils'. Ignoring request to alter found versions of bug #764573 to the same values previously set Ignoring request to alter fixed versions of bug #764573 to the same values previously set > thanks Stopping processing here.
Please contact me if you need assistance. -- 763228: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=763228 764573: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=764573 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
