16 Aug
2022
16 Aug
'22
5:55 p.m.
On Tue Aug 16 16:57:35 2022 +0000, Jacek Caban wrote:
No, it's also a problem when case insensitive order is different than case sensitive one. See global object for an example.
I'll use linear search for case insensitive then, since it should be rare anyway.