Merge pull request #7940 from sourcejedi/mount
authorLennart Poettering <lennart@poettering.net>
Tue, 23 Jan 2018 12:45:24 +0000 (13:45 +0100)
committerGitHub <noreply@github.com>
Tue, 23 Jan 2018 12:45:24 +0000 (13:45 +0100)
mount rationalization


Trivial merge