diff options
| author | Sandro <sandro.jaeckel@gmail.com> | 2021-02-21 07:29:19 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-21 07:29:19 +0100 |
| commit | 60fb826327ba2ff20168bb088fdd47e016c7f34b (patch) | |
| tree | c35284b29aef1d701f9b6cf931f571331b29e3c5 /maintainers | |
| parent | f876a5df32e8f2bbe62b466051448c835ff1cd63 (diff) | |
| parent | ec37ccb3924223a65701ae54f16edf448478937e (diff) | |
Merge pull request #113356 from mbaeten/master
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 3bd3ed9bcb8c4..7024b0089b198 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -5896,6 +5896,12 @@ githubId = 22836301; name = "Mateusz Mazur"; }; + mbaeten = { + email = "mbaeten@users.noreply.github.com"; + github = "mbaeten"; + githubId = 2649304; + name = "M. Baeten"; + }; mbakke = { email = "mbakke@fastmail.com"; github = "mbakke"; |