21 Nov
2023
21 Nov
'23
6:59 p.m.
On Tue Nov 21 14:16:03 2023 +0000, Alfred Agrell wrote:
I did that to match some other code ...which I can't find, so I guess I matched myself without thinking about it. Fixed.
I'd use sizeof() instead, since map.size is really supposed to be a byte size, but that's a minor quibble.