On Mon, 20 Jun 2022 at 19:55, Richard Henderson
<[email protected]> wrote:
>
> Signed-off-by: Richard Henderson <[email protected]>

Same commit message remark.

Reviewed-by: Peter Maydell <[email protected]>

thanks
-- PMM

Reply via email to