]> git.lizzy.rs Git - rust.git/commitdiff
Rollup merge of #72567 - GuillaumeGomez:cleanup-e0608, r=Dylan-DPC
authorDylan DPC <dylan.dpc@gmail.com>
Mon, 25 May 2020 16:07:48 +0000 (18:07 +0200)
committerGitHub <noreply@github.com>
Mon, 25 May 2020 16:07:48 +0000 (18:07 +0200)
Clean up E0608 explanation

r? @Dylan-DPC


Trivial merge