bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Update miri links

Browse source 
Miri has been moved to `rust-lang` a couple of days ago.
This commit is contained in:
Philipp Hansch 2019-02-21 19:26:45 +01:00
parent fd42f24b01
commit 4867a8c4fa
No known key found for this signature in database
GPG key ID: B6FA06A6E0E2665B
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tools/publish_toolstate.py
View file

@ -25,7 +25,7 @@ MAINTAINERS = {
}
REPOS = {
'miri': 'https://github.com/solson/miri',
'miri': 'https://github.com/rust-lang/miri',
'clippy-driver': 'https://github.com/rust-lang/rust-clippy',
'rls': 'https://github.com/rust-lang/rls',
'rustfmt': 'https://github.com/rust-lang/rustfmt',