Processing commands for control@bugs.debian.org: > tags 544833 + pending Bug #544833 [src:frama-c] frama-c - FTBFS: Warning P: this pattern-matching is not exhaustive. Added tag(s) pending. > End of message, stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)