This repository has been archived on 2024-07-22. You can view files and clone it, but cannot push or open issues or pull requests.

Avris 709e348b07 [user][bug] allow changing username to the same one but with different capitalisation		2021-09-07 22:21:30 +02:00
..
admin.js	…
banner.js	…
blog.js	…
census.js	…
home.js	…
images.js	…
inclusive.js	…
nouns.js	…
profile.js	…
pronounce.js	…
pronouns.js	…
sources.js	…
terms.js	…
user.js	…