Merge pull request #4243 from akallabeth/man_fix
authorDavid Fort <rdp.effort@gmail.com>
Fri, 17 Nov 2017 14:23:24 +0000 (15:23 +0100)
committerGitHub <noreply@github.com>
Fri, 17 Nov 2017 14:23:24 +0000 (15:23 +0100)
Better description for drive redirection (Fix #3513)


Trivial merge