On Sat, 22 Jul 2023 at 22:44, Richard Henderson <richard.hender...@linaro.org> wrote: > > Signed-off-by: Richard Henderson <richard.hender...@linaro.org> > --- > util/interval-tree.c | 13 +++++++++---- > 1 file changed, 9 insertions(+), 4 deletions(-)
Reviewed-by: Peter Maydell <peter.mayd...@linaro.org> thanks -- PMM