diff options
author | Anderson Torres <torres.anderson.85@protonmail.com> | 2022-02-24 22:42:13 -0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-02-24 22:42:13 -0300 |
commit | b638edd948b1553cae280939464a681ae64421e1 (patch) | |
tree | 094b1f9bad1d469616e83d45a5db49778b4e0903 /maintainers | |
parent | cabaf93f48a67bc8c29f508e23a1725469fb46da (diff) | |
parent | e79a6462987836acd17b947e2ed46de63f41647c (diff) |
Merge pull request #160834 from DieracDelta/grcov
grcov: init at 0.8.7
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 965b7624c959c..6ec7d705ef2e4 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -2993,6 +2993,12 @@ githubId = 8404455; name = "Diego Lelis"; }; + DieracDelta = { + email = "justin@restivo.me"; + github = "DieracDelta"; + githubId = 13730968; + name = "Justin Restivo"; + }; diffumist = { email = "git@diffumist.me"; github = "diffumist"; |