Processed: Re: Bug#541842: libcloog-ppl-dev: Missing development headers

[Debian Bug Tracking System]

Processing commands for control at 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)