Merge xen (4.8.2+xsa245-0+deb9u1) import into refs/heads/workingbranch
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 25 Nov 2017 11:26:37 +0000 (11:26 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 25 Nov 2017 11:26:37 +0000 (11:26 +0000)

Trivial merge