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

link to our shiny new Zulip stream

Browse Source
This commit is contained in:
Ralf Jung 2020-12-21 14:39:18 +01:00
parent 9b5faa9c82
commit e204c0fbab
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).
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