Merge pull request #14571 from poettering/assorted-fixlets
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Tue, 14 Jan 2020 20:22:13 +0000 (21:22 +0100)
committerGitHub <noreply@github.com>
Tue, 14 Jan 2020 20:22:13 +0000 (21:22 +0100)
commitdbca7332130f8a7345dcf1ca2316d8e951d6052a
tree53255e3d6c5f93b4e375c7e641e5df9ddbce4d1f
parent550979c8ae61c69edfda4cde1d267c6d9068a748
parent3fec55246854d53412fd34b3beec83a79ad67076
Merge pull request #14571 from poettering/assorted-fixlets

two minor fixes for recent merges