Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit ebc2690e authored by SOLIMAN Sylvain's avatar SOLIMAN Sylvain

merge but develop and master are too far apart

parents a7c49d70 319abb5c
......@@ -8,7 +8,7 @@
about/0
]).
version('4.1.7').
version('4.1.8').
copyright(
'Copyright (C) 2003-2018 Inria, EPI Lifeware, Saclay-Île de France, France'
......
This diff is collapsed.
This source diff could not be displayed because it is too large. You can view the blob instead.
This diff is collapsed.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment