Processing commands for [email protected]: > 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) -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
