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> _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel
