Merge pull request #6018 from reinerh/master
authorDaniel Golle <dangowrt@users.noreply.github.com>
Tue, 8 May 2018 13:40:08 +0000 (15:40 +0200)
committerGitHub <noreply@github.com>
Tue, 8 May 2018 13:40:08 +0000 (15:40 +0200)
inotify-tools: update to 3.20.1


Trivial merge