diff options
author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2020-12-28 06:21:13 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-28 06:21:13 +0000 |
commit | d2f5d37c7ab262c64a188fa968dfabb46601d4b6 (patch) | |
tree | f978ac8b0d2f3b218ec23653241a1c8fcdea5056 /maintainers | |
parent | 4148f8c671f63ce3ea072820449e36ea0b1fe9bd (diff) | |
parent | a08ed097c9e609567407476f143d2efba41328b6 (diff) |
Merge master into staging-next
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 54c580bdb7df0..93c6422744f97 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -9800,6 +9800,12 @@ githubId = 1322201; name = "Yochai"; }; + yoctocell = { + email = "public@yoctocell.xyz"; + github = "yoctocell"; + githubId = 40352765; + name = "Yoctocell"; + }; yorickvp = { email = "yorickvanpelt@gmail.com"; github = "yorickvp"; |