Merge pull request #5670 from poettering/trivialities
authorMartin Pitt <martinpitt@users.noreply.github.com>
Thu, 30 Mar 2017 13:09:28 +0000 (15:09 +0200)
committerGitHub <noreply@github.com>
Thu, 30 Mar 2017 13:09:28 +0000 (15:09 +0200)
trivial doc fixes


Trivial merge