]> git.lizzy.rs Git - rust.git/commitdiff
Rollup merge of #72282 - jonas-schievink:issue-typo, r=Dylan-DPC
authorDylan DPC <dylan.dpc@gmail.com>
Sat, 16 May 2020 23:51:35 +0000 (01:51 +0200)
committerGitHub <noreply@github.com>
Sat, 16 May 2020 23:51:35 +0000 (01:51 +0200)
Fix issue number typo in note


Trivial merge