diff --git a/PERMISSIONS b/PERMISSIONS index 20019048dd418bfd5e6eba56ffaa50c6a279e1d3..566e402e835a99c98d3f85ca4dc33a3fe02818a6 100755 --- a/PERMISSIONS +++ b/PERMISSIONS @@ -12,5 +12,5 @@ tail -2 "$0" | ssh git@laragit.epfl.ch setperms ${thisrepo} exit $_ # **Do not** add new lines after the following two! -WRITERS kuncak psuter rblanc edarulov hojjat +WRITERS kuncak psuter rblanc edarulov hojjat ekneuss READERS @lara mazimmer hardy amin