diff options
author | Sarah Brofeldt <sbrofeldt@gmail.com> | 2019-04-12 01:01:34 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-04-12 01:01:34 +0200 |
commit | 969149302c3ad1a0fddcb19811ac674ebbbfe676 (patch) | |
tree | 2137bf75faf5c11da929bfbb9a755bb9ef9bf01e /maintainers | |
parent | f5d208d754909c950305ed8f382e5b965395ace0 (diff) | |
parent | 5eb428e355b952b45465faf3a11a6f9999731737 (diff) |
Merge pull request #52021 from marius851000/fltrator
fltrator: init at 2.3
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 e19cde93ae43..de8d00f94337 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -2905,6 +2905,11 @@ email = "markus@wotringer.de"; name = "Markus Wotringer"; }; + marius851000 = { + email = "mariusdavid@laposte.net"; + name = "Marius David"; + github = "marius851000"; + }; marsam = { email = "marsam@users.noreply.github.com"; github = "marsam"; |