--- layout: fc_discuss_archives title: Message 123 from Frama-C-discuss on October 2008 ---
> I think we'll have to patch the current release to overcome this > problem. If so, we will announce it on this list soon. Indeed, the release was a little bit rushed, but it's okay because the version is clearly labeled as "beta" :) I would like to take this opportunity to encourage plug-in developers to work with the users of their plug-ins to make the next iteration of Frama-C (to be released in the next few days) as stable as possible. Frama-C is Open Source and Frama-C's users are bright and motivated people. It is probably a good, efficient way to work to send them patches in order to fix the problem that is blocking them and allow them to further their tests, so that the next release may work really well for what is supposed to work already. Thanks to everyone on this list for their contributions. Pascal