mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Auto merge of #1657 - RalfJung:zulip, r=RalfJung

Browse Source 
link to our shiny new Zulip stream
This commit is contained in:
bors 2020-12-21 13:40:33 +00:00
commit d895f6e229
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@ -350,9 +350,9 @@ If you want to contribute to Miri, great! Please check out our
[contribution guide](CONTRIBUTING.md). [contribution guide](CONTRIBUTING.md).
For help with running Miri, you can open an issue here on 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 ## History