diff options
author | Emily Trau <13267947+emilytrau@users.noreply.github.com> | 2023-12-01 15:40:12 +1100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-12-01 15:40:12 +1100 |
commit | 804d88649a8613f4df327a00eaabacc95105b974 (patch) | |
tree | 414e66cde48cfac52d666fa6df8e65db8c7937ad /maintainers | |
parent | 77651cc03509c9a6fc29329b5db77272f2e2cec2 (diff) | |
parent | e345034832745b66e74a080d0b27ab9413b5750a (diff) |
Merge pull request #270410 from rettetdemdativ/invidtui
invidtui: init at 0.3.6
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 8978a93c008b8..b2faaac4fda62 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -15265,6 +15265,12 @@ githubId = 3302; name = "Renzo Carbonara"; }; + rettetdemdativ = { + email = "michael@koeppl.dev"; + github = "rettetdemdativ"; + githubId = 5265630; + name = "Michael Köppl"; + }; revol-xut = { email = "revol-xut@protonmail.com"; name = "Tassilo Tanneberger"; |