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
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