Skip to content
This repository was archived by the owner on Nov 9, 2024. It is now read-only.

Trim usernames globally; improve 'duplicate' error message#81

Open
MathNerd28 wants to merge 1 commit intomainfrom
usernames
Open

Trim usernames globally; improve 'duplicate' error message#81
MathNerd28 wants to merge 1 commit intomainfrom
usernames

Commits

Commits on Mar 10, 2024