Une MAJ de sécurité est nécessaire sur notre version actuelle. Elle sera effectuée lundi 02/08 entre 12h30 et 13h. L'interruption de service devrait durer quelques minutes (probablement moins de 5 minutes).

Commit 391a582e authored by POGODALLA Sylvain's avatar POGODALLA Sylvain
Browse files

Make a new version for the opam repository

parent fa76c251
......@@ -17,4 +17,4 @@
(* *)
(**************************************************************************)
let version = "1.5.2-20201203"
let version = "1.5.2-20201204"
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