diff options
author | Mario Rodas <marsam@users.noreply.github.com> | 2019-10-15 21:47:50 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-15 21:47:50 -0500 |
commit | 882dc45801b2cdfa985419f011b15b6cfce194c1 (patch) | |
tree | 6f314a9c1629a448b35fa98bcc8ac9c59f92e461 /maintainers | |
parent | b4db381443ed25a2664a12ca110f9a2a44c1b4bc (diff) | |
parent | c62ad591956cdb2bd725f306d0870dbcc2bbfdf3 (diff) |
Merge pull request #71199 from arcnmx/pr-cargo-deps
cargo-deps: init at 1.1.1
Diffstat (limited to 'maintainers')
-rw-r--r-- | maintainers/maintainer-list.nix | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index af9a6d35f78ae..c187390defa10 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -551,6 +551,12 @@ githubId = 56009; name = "Arcadio Rubio GarcĂa"; }; + arcnmx = { + email = "arcnmx@users.noreply.github.com"; + github = "arcnmx"; + githubId = 13426784; + name = "arcnmx"; + }; ardumont = { email = "eniotna.t@gmail.com"; github = "ardumont"; |