Merge linux (4.16.12-1) import into refs/heads/workingbranch
authorSalvatore Bonaccorso <carnil@debian.org>
Sun, 27 May 2018 12:05:03 +0000 (13:05 +0100)
committerSalvatore Bonaccorso <carnil@debian.org>
Sun, 27 May 2018 12:05:03 +0000 (13:05 +0100)

Trivial merge