diff options
| author | bors <bors@rust-lang.org> | 2019-04-10 15:54:39 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2019-04-10 15:54:39 +0000 |
| commit | 96d700f1b7bc9c53fa0d11567adb1ed2c1c27e79 (patch) | |
| tree | d78c71b13f50b4b8753441e962d5dd59f03f5071 /src | |
| parent | 3750348daff89741e3153e0e120aa70a45ff5b68 (diff) | |
| parent | beeeb4360eec756ab248dff9d3abaedba89ef224 (diff) | |
| download | rust-96d700f1b7bc9c53fa0d11567adb1ed2c1c27e79.tar.gz rust-96d700f1b7bc9c53fa0d11567adb1ed2c1c27e79.zip | |
Auto merge of #59810 - matthiaskrgr:submodule_upd, r=oli-obk
submodules: update clippy, rls and miri Let's give this another try. r? @Manishearth cc @Xanewok
Diffstat (limited to 'src')
| m--------- | src/tools/clippy | 18 | ||||
| m--------- | src/tools/miri | 28 | ||||
| m--------- | src/tools/rls | 0 |
3 files changed, 22 insertions, 24 deletions
diff --git a/src/tools/clippy b/src/tools/clippy -Subproject 92612c9de159889f77f05855a77482ee1d895f5 +Subproject 37f5c1ec734f806fe98930b8d5f54f00013f06f diff --git a/src/tools/miri b/src/tools/miri -Subproject 0e4f9634a6850c6c10747cda0b56192ec8c0071 +Subproject 28f2e5b17a9a4c33a810dffda8eaaf55a1b8b70 diff --git a/src/tools/rls b/src/tools/rls -Subproject 90f7ab070321ebc5ad217dc0d6db163c029dffd +Subproject 49efc0694e0dd551b3f06d354bbc66a206f73a0 |
