diff options
author | Rick van Schijndel <Mindavi@users.noreply.github.com> | 2023-10-29 15:51:31 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-10-29 15:51:31 +0100 |
commit | ec43978695742fd41b7981aea23d9665928280bc (patch) | |
tree | 99b84465c7e810a08b5225da2a5cc2d9ec37df6a /maintainers | |
parent | 02fad9eefdba1b8dfda4cb494c0940c79a7367ab (diff) | |
parent | d0580c2d49e0704ef8f5235a5d8faa2c9a9adc3d (diff) |
Merge pull request #263932 from paumr/maintainers_paumr
paumr: add maintainer, archi: add paumr as maintainer
Diffstat (limited to 'maintainers')
-rw-r--r-- | maintainers/maintainer-list.nix | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index e235b30d7a3bd..40fbec456dc97 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -13604,6 +13604,11 @@ githubId = 15645854; name = "Brad Christensen"; }; + paumr = { + github = "paumr"; + name = "Michael Bergmeister"; + githubId = 53442728; + }; paveloom = { email = "paveloom@riseup.net"; github = "paveloom"; |