--- layout: fc_discuss_archives title: Message 56 from Frama-C-discuss on October 2009 ---
> http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:start#using_the_bts I forgot to mention that bug reports may be flagged as "private" in the BTS, meaning only the ten or so Frama-C developers will be able to see them, and that having a maintenance contract allows your bug reports to have the coveted "industrial" flag, in addition to allowing you to e-mail more sensitive cases to a single known person. Pascal