Fix issue number typo in note#72282
Merged
bors merged 1 commit intorust-lang:masterfrom May 17, 2020
jonas-schievink:issue-typo
Merged
Fix issue number typo in note#72282bors merged 1 commit intorust-lang:masterfrom jonas-schievink:issue-typo
bors merged 1 commit intorust-lang:masterfrom
jonas-schievink:issue-typo
