diff options
| author | Philipp Hansch <dev@phansch.net> | 2019-02-21 19:26:45 +0100 |
|---|---|---|
| committer | Philipp Hansch <dev@phansch.net> | 2019-02-21 19:26:45 +0100 |
| commit | 4867a8c4fa1d5da99e9e6e61b86b4ce85e0572d0 (patch) | |
| tree | 5e13cae67dc2514a93ce8bc5b4e057b982f4a602 /CONTRIBUTING.md | |
| parent | fd42f24b0129b32d66f174510518c083cdcec3eb (diff) | |
| download | rust-4867a8c4fa1d5da99e9e6e61b86b4ce85e0572d0.tar.gz rust-4867a8c4fa1d5da99e9e6e61b86b4ce85e0572d0.zip | |
Update miri links
Miri has been moved to `rust-lang` a couple of days ago.
Diffstat (limited to 'CONTRIBUTING.md')
| -rw-r--r-- | CONTRIBUTING.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 9924055ca45..54344f688f9 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -162,7 +162,7 @@ it can be found [here][rctd]. Currently building Rust will also build the following external projects: * [clippy](https://github.com/rust-lang-nursery/rust-clippy) -* [miri](https://github.com/solson/miri) +* [miri](https://github.com/rust-lang/miri) * [rustfmt](https://github.com/rust-lang-nursery/rustfmt) * [rls](https://github.com/rust-lang-nursery/rls/) |