diff options
author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2018-03-29 20:50:35 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-03-29 20:50:35 +0100 |
commit | 683a73f093efe98daa58a3c7ac0ff3b9fd3166bc (patch) | |
tree | c59fc1cdcab80d6f7e85e3cf153473158ccd2da7 /maintainers | |
parent | 8dd73d8b7d0825292c5b93c0ef47e8eb0041b6a8 (diff) | |
parent | 04f3b76dcec21f2fcba6b1b0afbb3ed224165050 (diff) |
Merge pull request #37890 from tobimpub/cquery
cquery: init at 2018-03-25
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 b38d9b1635354..49729a186234f 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"; |