On 18/05/17 12:56, Ian Jackson wrote:
Wei Liu writes ("[PATCH for-4.9] build: add missing dependency"):Commit f745b55 missed install-tools' dependency on build-tools-public-headers. Discovered by Travis-CI.Acked-by: Ian Jackson <ian.jack...@eu.citrix.com>
Release-acked-by: Julien Grall <julien.gr...@arm.com> Cheers, -- Julien Grall _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel