Re: Dynamic table size updates

Correction:

On Wed, Jan 5, 2022, at 16:51, Martin Thomson wrote:
> 1. This is very consistently implemented.

This is NOT very consistently implemented.

Or rather this is almost consistently mis-implemented :(

Received on Wednesday, 5 January 2022 05:59:30 UTC