On Mon, Jul 15, 2019 at 2:39 PM Pip Cet <pipcet@gmail.com> wrote:
> But I noticed that my patch may affect hashes more than it should,
> because it makes the thawed hash have the same size as the number of
> hash entries in it. That seems not to hurt performance...

But it should be fixed, anyway. The attached patch has no unexpected
performance benefits, as far as I can tell.