From 57fb6a061c5e79e1c98d75a2e15909a397ce4f6d Mon Sep 17 00:00:00 2001 From: Ralf Jung <jung@mpi-sws.org> Date: Wed, 13 Nov 2024 13:31:36 +0100 Subject: [PATCH] remove link to iris club mailing list from readme --- README.md | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index 3b3b331e7..03cd0cbc8 100644 --- a/README.md +++ b/README.md @@ -178,10 +178,9 @@ Getting along with Iris in Coq: Contacting the developers: -* Discussion about the Iris Coq development happens on the mailing list - [iris-club@lists.mpi-sws.org](https://lists.mpi-sws.org/listinfo/iris-club) - and in the [Iris Chat](https://iris-project.org/chat.html). This is also the - right place to ask questions. +* Discussion about the Iris Coq development happens in the [Iris + Chat](https://iris-project.org/chat.html). This is also the right place to ask + questions. * If you want to report a bug, please use the [issue tracker](https://gitlab.mpi-sws.org/iris/iris/issues), which requires an MPI-SWS GitLab account. The [chat page](https://iris-project.org/chat.html) -- GitLab