diff options
author | Mario Rodas <marsam@users.noreply.github.com> | 2022-06-22 22:18:13 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-06-22 22:18:13 -0500 |
commit | b873098d2a8249453350d20a8c2afbbc828be07e (patch) | |
tree | 3dee96ebcd05d20145e367cc662f9a85239e9852 /maintainers | |
parent | 810a3b810a27fbf17370aee477afea054548c6df (diff) | |
parent | 263ff104e5f185774436b577f1b12b29d59666f5 (diff) |
Merge pull request #178361 from auchter/auchter/dterm
dterm: init at 0.5
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 80b7a3d261e8e..cd5023ceda7ad 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -1177,6 +1177,12 @@ github = "attila-lendvai"; githubId = 840345; }; + auchter = { + name = "Michael Auchter"; + email = "a@phire.org"; + github = "auchter"; + githubId = 1190483; + }; auntie = { email = "auntieNeo@gmail.com"; github = "auntieNeo"; |