diff options
author | Michael Brunner <michaelbrunn3r@gmail.com> | 2023-10-04 11:34:47 +0200 |
---|---|---|
committer | github-actions[bot] <github-actions[bot]@users.noreply.github.com> | 2024-01-18 18:26:42 +0000 |
commit | 89f8d38897f27faedb1d2034a7013bc595b37c3f (patch) | |
tree | ccffa73ef86381558447a1426bcce235500729a0 /maintainers | |
parent | 8ae7c0e4333357288dc0ce3b6ae2c1685bf11fe0 (diff) |
maintainers: add michaelBrunner
(cherry picked from commit a06b7a48f0db58748e6efdfc816d89618557bfe7)
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 82f292d7ccc2b..2bc69632b25d0 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -11734,6 +11734,12 @@ github = "michaelBelsanti"; githubId = 62124625; }; + michaelBrunner = { + email = "michael.brunn3r@gmail.com"; + name = "Michael Brunner"; + github = "MichaelBrunn3r"; + githubId = 19626539; + }; michaelCTS = { email = "michael.vogel@cts.co"; name = "Michael Vogel"; |