]> git.lizzy.rs Git - rust.git/commitdiff
Rollup merge of #62845 - RalfJung:read, r=rkruppe
authorMazdak Farrokhzad <twingoow@gmail.com>
Mon, 22 Jul 2019 13:32:23 +0000 (15:32 +0200)
committerGitHub <noreply@github.com>
Mon, 22 Jul 2019 13:32:23 +0000 (15:32 +0200)
read: fix doc comment

No idea how that happened...


Trivial merge