Merge pull request #923 from ivaradi/disco-support
authorRoeland Jago Douma <rullzer@users.noreply.github.com>
Mon, 7 Jan 2019 08:53:04 +0000 (09:53 +0100)
committerGitHub <noreply@github.com>
Mon, 7 Jan 2019 08:53:04 +0000 (09:53 +0100)
Support Ubuntu Disco Dingo


Trivial merge