Merge pull request #12005 from poettering/exec-dir-fixup
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Wed, 20 Mar 2019 08:48:45 +0000 (09:48 +0100)
committerGitHub <noreply@github.com>
Wed, 20 Mar 2019 08:48:45 +0000 (09:48 +0100)
Some fixes to exec directory management


Trivial merge