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)
commitcacf3e9924dea655afecffeb1d8d10d7f0a74d20
tree0255ea8589de1f07f9f830b2754faf68fa9bad78
parentdc993d3ebe31c7b1add3bd1d9a7f7832fd5d10dd
parent51829bfb4771567e2350efe5d25db0b563da6e54
Merge pull request #923 from ivaradi/disco-support

Support Ubuntu Disco Dingo