From b1da0d2ee7e1466088353545c7b25153c28b4c92 Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Fri, 4 May 2012 17:30:37 +0200
Subject: [PATCH] new permissions, fixed

---
 PERMISSIONS | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/PERMISSIONS b/PERMISSIONS
index 4ee02207c..ace330f0c 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 amin
-READERS @lara mazimmer hardy
+WRITERS kuncak psuter rblanc edarulov 
+READERS @lara mazimmer hardy amin
-- 
GitLab