On Tue, Feb 08, 2022 at 08:06:38AM +0100, Juergen Gross wrote: > There is no user of tools/include/xen-external/* left. Remove it. > > Signed-off-by: Juergen Gross <[email protected]>
Acked-by: Anthony PERARD <[email protected]> Thanks, -- Anthony PERARD
