Merge pull request #8710 from poettering/triviailities-yeah-yeah
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Thu, 12 Apr 2018 20:21:15 +0000 (22:21 +0200)
committerGitHub <noreply@github.com>
Thu, 12 Apr 2018 20:21:15 +0000 (22:21 +0200)
some trivial additions and fixes


Trivial merge