Merge pull request #4071 from bmiklautz/debian_fixes
authorDavid Fort <rdp.effort@gmail.com>
Thu, 3 Aug 2017 07:32:29 +0000 (09:32 +0200)
committerGitHub <noreply@github.com>
Thu, 3 Aug 2017 07:32:29 +0000 (09:32 +0200)
Fixes from the Debian project


Trivial merge