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)
commit812724c14b3d13087cfc36fc67de6c160a635776
treeb5314da3da4510f27d04256995b1aa330aae65fb
parentd579a56c397a1aeaa490032a9f7aabd82124f1c8
parentce2090ab72bf629f896f37b039135c064ea8a29f
Merge pull request #8710 from poettering/triviailities-yeah-yeah

some trivial additions and fixes