diff options
author | Frederik Rietdijk <fridh@fridh.nl> | 2018-03-30 08:14:35 +0200 |
---|---|---|
committer | Frederik Rietdijk <fridh@fridh.nl> | 2018-03-30 08:14:35 +0200 |
commit | 9d2ff985718b9c04e51fefb1867f82fa0246db0f (patch) | |
tree | 3d2aeafe69428756af5a18d8bba8d2b41f5af142 /maintainers | |
parent | 01fb1af4f507a2249668d664575717d84b6c1d89 (diff) | |
parent | a7af5d4f88f9e30bc9b401a84b7cb3cf036fccbb (diff) |
Merge remote-tracking branch 'upstream/master' into HEAD
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 126f35f985601..a64e285649640 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -3586,6 +3586,11 @@ github = "tnias"; name = "Philipp Bartsch"; }; + tobim = { + email = "nix@tobim.fastmail.fm"; + github = "tobimpub"; + name = "Tobias Mayer"; + }; tohl = { email = "tom@logand.com"; github = "tohl"; |