Processing commands for cont...@bugs.debian.org: > reassign 541842 gcc-snapshot Bug #541842 [libcloog-ppl-dev] libcloog-ppl-dev: Missing development headers Bug reassigned from package 'libcloog-ppl-dev' to 'gcc-snapshot'. Bug No longer marked as found in versions cloog-ppl/0.15-2. > thanks Stopping processing here.
Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database) -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
