]> git.lizzy.rs Git - rust.git/commit
Auto merge of #74246 - GuillaumeGomez:cleanup-e0719, r=Dylan-DPC
authorbors <bors@rust-lang.org>
Sat, 25 Jul 2020 20:11:20 +0000 (20:11 +0000)
committerbors <bors@rust-lang.org>
Sat, 25 Jul 2020 20:11:20 +0000 (20:11 +0000)
commit8cb94fc552dc200e19001b40767c0c279572c9de
tree5800c8b7ff78647a4a988e3f68ce2fee52f2f858
parentf06e8e157cc86538eacb76a65073787b0e46c396
parent2ba68f1888401577b1f60d8868fdac5a895ba698
Auto merge of #74246 - GuillaumeGomez:cleanup-e0719, r=Dylan-DPC

Clean up E0719 explanation

r? @Dylan-DPC