From f2b5bf0cdfe4cf04efe71843c64566e3c5eb427b Mon Sep 17 00:00:00 2001
From: David Seus <david.seus@mathematik.uni-stuttgart.de>
Date: Wed, 14 Oct 2020 11:25:56 +0200
Subject: [PATCH] Update README.md

---
 Setup/README.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Setup/README.md b/Setup/README.md
index 121d3b1..cb43bb2 100644
--- a/Setup/README.md
+++ b/Setup/README.md
@@ -21,7 +21,8 @@ Adding yourself to the docker group can by done by running
 
     sudo gpasswd -a <username> docker
 
-where <username> is to be replaced by your user name.
+where <username> is to be replaced by your user name. Don't forget to log out and back in again, to make 
+the change effective.
 
 On `systemd`-based systems the daemon is started by running
 
-- 
GitLab