]> git.lizzy.rs Git - rust.git/commit
Merge #9157
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>
Mon, 7 Jun 2021 07:40:52 +0000 (07:40 +0000)
committerGitHub <noreply@github.com>
Mon, 7 Jun 2021 07:40:52 +0000 (07:40 +0000)
commit6e30aeeb2163074073414ac1cde643a4915df0ee
tree0b423900dd0f34c3ae42ba51a5fc877c9666d426
parentefa84cd08d9e4d1d464ffc6832a1d1b1c85aed23
parent993c7a165e6c361b69a1a4c8349e17ff02d6e680
Merge #9157

9157: minor: Use HTTPS for clippy lint JSON r=lnicola a=lnicola

Co-authored-by: Laurențiu Nicola <lnicola@dend.ro>