Tom Hacohen 7ec45434ba User: make username case insensitive (and save original styling). ...

We want 'User' and 'UsEr' to mean the same user. Apparently that's not the default in
django. This normalizes the user to ensure we enforce this.

2020-07-12 11:11:33 +03:00

16 KiB

Raw Blame History

View Raw