--- layout: fc_discuss_archives title: Message 93 from Frama-C-discuss on October 2008 ---
Hello Nicolas, your message is not in English. Fortunately it was clearly meant for the frama-c-commits list, so the people reading this list are not missing anything. Pascal