Le 19/01/2017 à 12:44, Christian Ridderström a écrit :
Could someone perhaps ask Maté (?) if he can add ci-...@inria.fr
<mailto:ci-...@inria.fr> to the devel-list?

I did this and he did that.

JMarc

Reply via email to