diff options
author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2021-01-22 12:43:02 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-22 12:43:02 +0000 |
commit | a5bbeb4fb16912712b7fb731daed0898ac5a6e35 (patch) | |
tree | 74914912b4fddb717d56adf937b8cf21bd1b5c19 /maintainers | |
parent | 0f972a253468201c7282b0da820dd35501c4ae64 (diff) | |
parent | 211bccac7996bdf6bed785e50e9e43968053ac52 (diff) |
Merge staging-next into staging
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 e9729538b043..34bc802326e6 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -3887,6 +3887,12 @@ githubId = 4458; name = "Ivan Kozik"; }; + ivan-babrou = { + email = "nixpkgs@ivan.computer"; + name = "Ivan Babrou"; + github = "bobrik"; + githubId = 89186; + }; ivan-timokhin = { email = "nixpkgs@ivan.timokhin.name"; name = "Ivan Timokhin"; |