On Thu, Jun 6, 2024 at 9:23 PM Masahiko Sawada <sawada(dot)mshk(at)gmail(dot)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