Merge pull request #37890 from tobimpub/cquery

cquery: init at 2018-03-25
2018-03-29 20:50:35 +01:00
parent 8dd73d8b7d 04f3b76dce
commit 683a73f093
4 changed files with 82 additions and 0 deletions
--- 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";