CakeLancelot 2eb64540d1 Usernames are now case-insensitive ... This fixes a UX issue, where if you accidentally capitalized a letter in the username when logging in, it would instead create a new account. The behavior was confusing, since to the user it looks as if their characters were deleted or progress was not saved. In order for this to work, duplicate accounts (e.g. username and USERNAME) need to be deleted/renamed. The server will *detect* if any duplicates exist. If any are found, it will direct the server operator to a pruning script, or they can choose to resolve the duplicates manually.		2021-09-20 20:40:12 +02:00
..
migration1.sql	Fix migration on Linux	2020-12-20 23:09:10 +01:00
migration2.sql	Normalize line endings	2021-04-30 04:17:34 -04:00
migration3.sql	Usernames are now case-insensitive	2021-09-20 20:40:12 +02:00
tables.sql	Usernames are now case-insensitive	2021-09-20 20:40:12 +02:00