troubleshoot contact for the chat
Showing with 2 additions and 1 deletion
|...||...||@@ -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). If you have trouble joining the chat, please contact|
|* 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.|
https://gitlab.mpi-sws.org/jung does not actually provide a means to contact you, right?
It shows an email address, does it not?
Oh, I see now that you have an email there.