Closed JoshuaKGoldberg closed 8 years ago
Allowed editing user codenames in the admin page.
Fixes #109.
Allowed editing user codenames in the admin page.
Fixes #109.