Merge linux-latest (80+deb9u2) import into refs/heads/workingbranch
authorBen Hutchings <ben@decadent.org.uk>
Tue, 19 Sep 2017 13:51:35 +0000 (14:51 +0100)
committerBen Hutchings <ben@decadent.org.uk>
Tue, 19 Sep 2017 13:51:35 +0000 (14:51 +0100)

Trivial merge