Skip to content

Improve E0571 wording#72077

Merged
bors merged 1 commit intorust-lang:masterfrom GuillaumeGomez:cleanup-E0571May 12, 2020

Commits

Commits on May 10, 2020