Replace last mention of IRC with Discord#70495

Merged

bors merged 1 commit intorust-lang:masterfrom

bkaestner:master

Mar 28, 2020

Commits on Mar 28, 2020

Replace last mention of IRC with Discord
bkaestner
committed