diff options
author | worldofpeace <worldofpeace@users.noreply.github.com> | 2019-04-19 06:43:03 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-04-19 06:43:03 -0400 |
commit | a0ea9cc20428a3cb445b5ef4ffe9e9d80ab98023 (patch) | |
tree | bbfd1255b8bcd668da669c60a8ed173f5629da80 /maintainers/maintainer-list.nix | |
parent | e700ef20681aa7b5a8665eda7170361d41a5c01f (diff) | |
parent | 89e22fcca80d7d7d30e199a2967abf7f9c8f62c7 (diff) |
Merge pull request #59547 from rencire/add-base-16-shell-preview
base16-shell-preview: init at 0.3.0
Diffstat (limited to 'maintainers/maintainer-list.nix')
-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 3969bf321bb52..c840c5f702de3 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -4031,6 +4031,11 @@ github = "renatoGarcia"; name = "Renato Garcia"; }; + rencire = { + email = "546296+rencire@users.noreply.github.com"; + github = "rencire"; + name = "Eric Ren"; + }; renzo = { email = "renzocarbonara@gmail.com"; github = "k0001"; |