diff options
author | Anderson Torres <torres.anderson.85@protonmail.com> | 2020-03-27 13:41:23 -0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-27 13:41:23 -0300 |
commit | 79ed9e6ebf1aadbecc1240dee210e1159e27f1aa (patch) | |
tree | 88f23af7c37d972d9a3a156a2ff12e910b382252 /maintainers | |
parent | 7401afc428799acb19f72028d0914092a978c909 (diff) | |
parent | c0ef7406f124a1b1c6a954c887f36510ead63d81 (diff) |
Merge pull request #70610 from raboof/notion4
notion: 3-2019050101 -> 4.0.0
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 916df3b953476..b7d25d623c502 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -6016,6 +6016,11 @@ fingerprint = "7573 56D7 79BB B888 773E 415E 736C CDF9 EF51 BD97"; }]; }; + raboof = { + email = "arnout@bzzt.net"; + github = "raboof"; + name = "Arnout Engelen"; + }; rafaelgg = { email = "rafael.garcia.gallego@gmail.com"; github = "rafaelgg"; |