diff options
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 1ace5db84120..b89f1c566134 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -5814,6 +5814,12 @@ githubId = 7551358; name = "Frede Emil"; }; + frederictobiasc = { + email = "dev@ntr.li"; + github = "frederictobiasc"; + githubId = 26125115; + name = "Frédéric Christ"; + }; Freed-Wu = { email = "wuzhenyu@ustc.edu"; github = "Freed-Wu"; |