On Sun, 17 Dec 2023 21:32:05 +0100, Otto Moerbeek wrote: > This diff checks the allocations if a few pretty big tables.
OK millert@ - todd
On Sun, 17 Dec 2023 21:32:05 +0100, Otto Moerbeek wrote: > This diff checks the allocations if a few pretty big tables.
OK millert@ - todd