]> git.lizzy.rs Git - rust.git/commitdiff
Merge #4797
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>
Mon, 8 Jun 2020 19:26:48 +0000 (19:26 +0000)
committerGitHub <noreply@github.com>
Mon, 8 Jun 2020 19:26:48 +0000 (19:26 +0000)
4797: Dev docs nits r=matklad a=lnicola

indenpendence

Co-authored-by: Laurențiu Nicola <lnicola@users.noreply.github.com>

Trivial merge