Merge xen (4.8.5.final+shim4.10.4-1+deb9u12) import into refs/heads/workingbranch
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 10 Jan 2020 17:09:30 +0000 (17:09 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 10 Jan 2020 17:09:30 +0000 (17:09 +0000)

Trivial merge