Richard Henderson <richard.hender...@linaro.org> writes:

> This header is not private to the top-level semihosting directory,
> so place it in the public include directory.

Reviewed-by: Alex Bennée <alex.ben...@linaro.org>

-- 
Alex Bennée

Reply via email to