From e204c0fbaba21ba3771cdbfbbbd2aab9abfc4864 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Mon, 21 Dec 2020 14:39:18 +0100 Subject: [PATCH] link to our shiny new Zulip stream --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 38663b408a3d..fdf45951c6f2 100644 --- a/README.md +++ b/README.md @@ -350,9 +350,9 @@ If you want to contribute to Miri, great! Please check out our [contribution guide](CONTRIBUTING.md). For help with running Miri, you can open an issue here on -GitHub or contact us (`oli-obk` and `RalfJ`) on the [Rust Zulip]. +GitHub or use the [Miri stream on the Rust Zulip][zulip]. -[Rust Zulip]: https://rust-lang.zulipchat.com +[zulip]: https://rust-lang.zulipchat.com/#narrow/stream/269128-miri ## History