Merge linux-latest (80+deb9u1) import into refs/heads/workingbranch
authorBen Hutchings <ben@decadent.org.uk>
Sat, 1 Jul 2017 00:31:49 +0000 (01:31 +0100)
committerBen Hutchings <ben@decadent.org.uk>
Sat, 1 Jul 2017 00:31:49 +0000 (01:31 +0100)

Trivial merge