--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on January 2008 ---
Claude March? a ?crit : > > En fait, je me reponds a moi-meme en me mettant a l'amende: cette liste > est destinee aux utilisateurs externes de Frama-C. On doit y parler en > anglais, et parler de choses concernant les utilisateurs. La forge inria > propose par defaut une autre liste frama-c-commits: pensez-vous que je > doive l'activer, pour que ceux qui modifient les sources expliquent leur > modifs ? En fait vous avez deja une liste pour cela non ? (mais je n'y > suis pas inscrit...) A priori la liste pour les d?veloppeurs du CEA suffit. On peut t'y inscrire si tu veux ! Donc, il faudrait supprimer la liste frama-c-commits et la remplacer par frama-c-support . A+ -- | Benjamin Monate | mailto:benjamin.monate@cea.fr | | Ing?nieur-Chercheur | CEA-LIST/DRT/DTSI/SOL/LSL | | B?t. 528 Pt. 115a | 91191 Gif-sur-Yvette CEDEX | | T?l. 01 69 08 94 09 | Fax : 01 69 08 83 95 |