diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 92202c369f29..aa721a4432ce 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -3010,6 +3010,12 @@ fingerprint = "8BC7 74E4 A2EC 7507 3B61 A647 0BBB 1C8B 1C36 39EE"; }]; }; + carloscraveiro = { + email = "carlos.craveiro@usp.br"; + github = "CarlosCraveiro"; + githubId = 85318248; + name = "Carlos Henrique Craveiro Aquino Veras"; + }; carlosdagos = { email = "m@cdagostino.io"; github = "carlosdagos";