From d0daa18182983ed18c1a303b1f5fee77c3ad40d6 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 9 May 2019 15:55:48 +0200
Subject: [PATCH] troubleshoot contact for the chat

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

diff --git a/README.md b/README.md
index 4312f7b6f..b3a8b0385 100644
--- a/README.md
+++ b/README.md
@@ -127,7 +127,8 @@ Contacting the developers:
   and in the [Iris Chat](https://mattermost.mpi-sws.org/iris).  This is also the
   right place to ask questions.  The chat requires an account at the
   [MPI-SWS GitLab](https://gitlab.mpi-sws.org/users/sign_in) (use the "Register"
-  tab).
+  tab). If you have trouble joining the chat, please contact
+  [Ralf](https://gitlab.mpi-sws.org/jung).
 * If you want to report a bug, please use the
   [issue tracker](https://gitlab.mpi-sws.org/iris/iris/issues), which also
   requires an MPI-SWS GitLab account.
-- 
GitLab