On Thu, Jun 6, 2024 at 9:23 PM Masahiko Sawada <sawada.m...@gmail.com> wrote:
> num_dead_item_ids seems good to me. I've updated the patch that
> incorporated the comment from Álvaro[1].

Great, thank you.

-- 
Peter Geoghegan


Reply via email to