diff options
author | Matthew Bauer <mjbauer95@gmail.com> | 2019-11-07 17:15:20 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-11-07 17:15:20 -0500 |
commit | 9488fe009c594cb482402cd0f35b983188b2cc6b (patch) | |
tree | 456312ad9ccc95ccb7ccce94fc2fef9d87018b6c /maintainers | |
parent | 5a4b2057d6c21e24cec3d9b5c7dbf710e6c50485 (diff) | |
parent | b76cfafa8edb77ed69e3138c99cdb399052af82e (diff) |
Merge pull request #70403 from Yumasi/criterion
criterion: init at 2.3.3
Diffstat (limited to 'maintainers')
-rw-r--r-- | maintainers/maintainer-list.nix | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index dfa1d8de9ec70..aa42a94af2d19 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -7324,6 +7324,16 @@ githubId = 1866448; name = "Eric Bailey"; }; + Yumasi = { + email = "gpagnoux@gmail.com"; + github = "Yumasi"; + githubId = 24368641; + name = "Guillaume Pagnoux"; + keys = [{ + longkeyid = "rsa4096/0xEC5065899AEAAF4C"; + fingerprint = "85F8 E850 F8F2 F823 F934 535B EC50 6589 9AEA AF4C"; + }]; + }; yvt = { email = "i@yvt.jp"; github = "yvt"; |