diff options
| author | Jan Tojnar <jtojnar@gmail.com> | 2020-05-17 14:05:17 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-17 14:05:17 +0200 |
| commit | c19fa9be5efbe1eb98bb299f44db563aa249aaae (patch) | |
| tree | 74db563511e82758c185e64e0a80370271523ad9 /maintainers | |
| parent | 85d6f3bcd9cbcc52c4a307d2ef5116dab4b41641 (diff) | |
| parent | 221e5eba47110ef9a174e2c5caf66351609c16ba (diff) | |
Merge pull request #87953 from ccellado/glpaper-unstable
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 fda8fd8d204cb..1877720d034ec 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -1280,6 +1280,12 @@ githubId = 64804; name = "Dennis Gosnell"; }; + ccellado = { + email = "annplague@gmail.com"; + github = "ccellado"; + githubId = 44584960; + name = "Denis Khalmatov"; + }; ceedubs = { email = "ceedubs@gmail.com"; github = "ceedubs"; |