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 90dcad5a authored by Jean-Christophe Filliâtre's avatar Jean-Christophe Filliâtre
Browse files

new checksum function, seriously

parent a5b24251
......@@ -425,7 +425,7 @@ module Checksum = struct
let b = Buffer.create 257 in
Ident.forget_all ident_printer;
Task.task_iter (tdecl b) t;
Buffer.contents b
Digest.to_hex (Digest.string (Buffer.contents b))
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