Merge pull request #4381 from keszybz/man-pages
authorMartin Pitt <martin.pitt@ubuntu.com>
Mon, 17 Oct 2016 04:56:22 +0000 (06:56 +0200)
committerGitHub <noreply@github.com>
Mon, 17 Oct 2016 04:56:22 +0000 (06:56 +0200)

Trivial merge