diff options
author | Pierre <pierre@pierre.is> | 2019-05-31 15:18:05 -0500 |
---|---|---|
committer | Nikolay Amiantov <ab@fmap.me> | 2019-06-01 13:44:25 +0300 |
commit | 366985e2a742dd6e975eb6499f8fdc0ffed9208c (patch) | |
tree | d5477fc5924037f103cd7c246bbff54537a9d575 /maintainers | |
parent | fdb5aea5bd2cc9f2bbf557176223ea136a9f21ff (diff) |
folly: 2019.04.22.00 -> 2019.05.27.00
Diffstat (limited to 'maintainers')
-rw-r--r-- | maintainers/maintainer-list.nix | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index a72145562d40..a9a26a988c08 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -3896,6 +3896,11 @@ github = "pierrechevalier83"; name = "Pierre Chevalier"; }; + pierreis = { + email = "pierre@pierre.is"; + github = "pierreis"; + name = "Pierre Matri"; + }; pierrer = { email = "pierrer@pi3r.be"; github = "pierrer"; |