diff options
| author | bors <bors@rust-lang.org> | 2018-09-15 10:09:25 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2018-09-15 10:09:25 +0000 |
| commit | d92b0661c081d1a04c7028df7214a7045f0f50ca (patch) | |
| tree | 6c6ed61150d7723ffff48c084a7d3e00aa09f397 | |
| parent | 7896af9508acbe5451e887e0a75922a5435b601d (diff) | |
| parent | adf4a472108af47444d64b286bd04ef71733cc75 (diff) | |
Auto merge of #54227 - flip1995:clippyup, r=kennytm
Update Clippy Clippy one commit behind #54226. This should work r? @Manishearth
| m--------- | src/tools/clippy | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/src/tools/clippy b/src/tools/clippy -Subproject fdd830f52c082b83db0dac3e0066c0cf114050d +Subproject daa922393c7417dcee930a880c80668cda3e308 |