]> xenbits.xensource.com Git - xen.git/commitdiff
Merge branch 'staging' of xenbits.xen.org:/home/xen/git/xen into staging
authorIan Jackson <ian.jackson@eu.citrix.com>
Tue, 29 Nov 2016 16:54:30 +0000 (16:54 +0000)
committerIan Jackson <Ian.Jackson@eu.citrix.com>
Tue, 29 Nov 2016 16:54:30 +0000 (16:54 +0000)

Trivial merge