Merge pull request #6428 from boucman/device_reload
authorLennart Poettering <lennart@poettering.net>
Thu, 14 Sep 2017 10:46:23 +0000 (12:46 +0200)
committerGitHub <noreply@github.com>
Thu, 14 Sep 2017 10:46:23 +0000 (12:46 +0200)
device : reload when udev generates a "changed" event


Trivial merge