Closed lajp closed 1 year ago
This is not what we want. We rather want it to be impossible for same usernames with different capitalizations to exists (which is the case). This was an issue with a migrated legacy database (pre 6c06fb5f9017554c45f525eb78cf84ebb2dfa80c)
This is so that users can have same names with different capitalization