diff options
| author | Manish Goregaokar <manishsmail@gmail.com> | 2019-05-16 12:31:49 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-16 12:31:49 -0700 |
| commit | b80a906011e9a1c5d641af71db7a012da3700568 (patch) | |
| tree | 641bc20f5db870a6739ab4119a10394c11661049 | |
| parent | 43ff70b8ce9b225c17b3b0b841d7063305d479ba (diff) | |
| parent | 6f3c8cd481c24f7ec64164c6fef03f826a8a3e55 (diff) | |
Rollup merge of #60887 - Manishearth:clippyup, r=Manishearth
Update clippy r? @ghost
| m--------- | src/tools/clippy | 23 |
1 files changed, 16 insertions, 7 deletions
diff --git a/src/tools/clippy b/src/tools/clippy -Subproject ad3269c4b510b94b7c0082f4bb341bee6ed1eca +Subproject 11194e3d050f45ff002a775f451ff6222fcd5b2 |