On 31/5/23 06:03, Richard Henderson wrote:
Two headers are not required for the rest of the contents of plugin-gen.h.Signed-off-by: Richard Henderson <[email protected]> --- include/exec/plugin-gen.h | 2 -- 1 file changed, 2 deletions(-)
Reviewed-by: Philippe Mathieu-Daudé <[email protected]>
