diff options
author | Sandro <sandro.jaeckel@gmail.com> | 2020-11-28 22:11:17 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-28 22:11:17 +0100 |
commit | 069f11dce2fa4fca203be7087027af03eb00d57d (patch) | |
tree | 9c7b00ea7150fb219c314f50eacc7ab8b6810bd5 /maintainers | |
parent | 2c0389680c49250b873dbe87d6ee386e09a4c96e (diff) | |
parent | 68a379e36456b20629ed0edf2ce82c021c260548 (diff) |
Merge pull request #99246 from fehnomenal/ifcopenshell
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 441282cb0e05..ff7da114f632 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -2901,6 +2901,12 @@ githubId = 541748; name = "Felipe Espinoza"; }; + fehnomenal = { + email = "fehnomenal@fehn.systems"; + github = "fehnomenal"; + githubId = 9959940; + name = "Andreas Fehn"; + }; felschr = { email = "dev@felschr.com"; github = "felschr"; |