Subject: Re: bug#68244: hash-table improvements

From: João Távora <[email-masked]>
Date: Mon, 22 Jan 2024 09:18:33 +0000

On Mon, Jan 22, 2024 at 9:17 AM João Távora <[email-masked]> wrote:

> Dine, I guess.  But this is about a singleton hash table object right?

Yes, you should probably "dine" regularly as much as possible.  But
this change is also "fine".