Processing control commands: > block 837456 by -1 Bug #837456 [src:frama-c] frama-c: FTBFS with bindnow and PIE enabled 837456 was not blocked by any bugs. 837456 was not blocking any bugs. Added blocking bug(s) of 837456: 841939 -- 837456: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=837456 841939: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=841939 Debian Bug Tracking System Contact owner@bugs.debian.org with problems