]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 7307af1 818aaa7)
Rollup merge of #73959 - GuillaumeGomez:cleanup-e0716, r=Dylan-DPC
authorManish Goregaokar <manishsmail@gmail.com>
Wed, 15 Jul 2020 18:01:11 +0000 (11:01 -0700)
committerGitHub <noreply@github.com>
Wed, 15 Jul 2020 18:01:11 +0000 (11:01 -0700)
Clean up E0716 explanation

r? @Dylan-DPC


Trivial merge
Empowering everyone to build reliable and efficient software.