]> git.lizzy.rs Git - rust.git/commitdiff
Merge pull request #2445 from guido4000/patch-1
authorOliver Schneider <oli-obk@users.noreply.github.com>
Fri, 9 Feb 2018 07:06:51 +0000 (08:06 +0100)
committerGitHub <noreply@github.com>
Fri, 9 Feb 2018 07:06:51 +0000 (08:06 +0100)
Simplify recommended command


Trivial merge