-
bguillaum authored
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/semagramme/libcaml-grew/trunk@9054 7838e531-6607-4d57-9587-6c381814729c
8e3eea08
Attention une mise à jour du service Gitlab Inria va être effectuée le mercredi 27 février entre 13h00 et 14h00. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes (habituellement de l'ordre de trois minutes). Il s'agit d'une montée de version majeure.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/semagramme/libcaml-grew/trunk@9054 7838e531-6607-4d57-9587-6c381814729c