Closed this issue 6 years ago · 1 comments
We only use it for a case-insensitive dictionary.
Closed with #79