updated session after Metis' tentative fix (0bba4ba9) · Commits · Why3 / why3 · GitLab

Attention une mise à jour du service Gitlab va être effectuée le mardi 07 février entre 13h30 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).

Commit 0bba4ba9 authored Jun 29, 2014 by

MARCHE Claude

updated session after Metis' tentative fix

parent dfbe88ba

Expand all Hide whitespace changes

Inline Side-by-side

View file @ 0bba4ba9

This diff is collapsed.

Please register or to comment