Attention une mise à jour du service Gitlab va être effectuée le mardi 30 novembre entre 17h30 et 18h00. 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. Cette mise à jour intermédiaire en version 14.0.12 nous permettra de rapidement pouvoir mettre à votre disposition une version plus récente.

Commit a19357ed authored by Stephane Glondu's avatar Stephane Glondu
Browse files

Clean up

parent 84ff5482
...@@ -68,7 +68,6 @@ lwt election_table = ...@@ -68,7 +68,6 @@ lwt election_table =
featured_p = true; featured_p = true;
can_read = Any; can_read = Any;
can_vote = Any; can_vote = Any;
can_admin = Any;
}) in }) in
let {g; p; q; y} = election.e_public_key in let {g; p; q; y} = election.e_public_key in
let module G = (val let module G = (val
......
...@@ -25,7 +25,6 @@ type election_data = { ...@@ -25,7 +25,6 @@ type election_data = {
featured_p : bool; featured_p : bool;
can_read : acl; can_read : acl;
can_vote : acl; can_vote : acl;
can_admin : acl;
} }
let enforce_single_element s = let enforce_single_element s =
......
...@@ -21,7 +21,6 @@ type election_data = { ...@@ -21,7 +21,6 @@ type election_data = {
featured_p : bool; featured_p : bool;
can_read : acl; can_read : acl;
can_vote : acl; can_vote : acl;
can_admin : acl;
} }
module MakeLwtRandom (G : Signatures.GROUP) : sig module MakeLwtRandom (G : Signatures.GROUP) : sig
......
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