Valentin Tolmer ca19e61f50 domain: introduce UserId to make uid case insensitive ... Note that if there was a non-lowercase user already in the DB, it cannot be found again. To fix this, run in the DB: sqlite> UPDATE users SET user_id = LOWER(user_id);		2022-03-26 18:23:19 +01:00
..
domain	domain: introduce UserId to make uid case insensitive	2022-03-26 18:23:19 +01:00
infra	domain: introduce UserId to make uid case insensitive	2022-03-26 18:23:19 +01:00
main.rs	server: Prevent passwords and secrets from being printed	2021-11-23 00:25:47 +01:00