summaryrefslogtreecommitdiffstats
path: root/maintainers
diff options
context:
space:
mode:
authorPavol Rusnak <pavol@rusnak.io>2021-01-17 22:56:25 +0100
committerGitHub <noreply@github.com>2021-01-17 22:56:25 +0100
commit3f5d6b2e85bcbaaa279a7608ad2e01d2624e4fb2 (patch)
tree0d381213010c9b43fe66c3e6e2eeb98e68513eeb /maintainers
parent50cbe8b51767bb8d3ce61c8c7f9fcffec657c92f (diff)
parentf8b69fa6d2fcf54548795e3e04845f304efb3a30 (diff)
Merge pull request #109651 from mausch/starspace
Diffstat (limited to 'maintainers')
-rw-r--r--maintainers/maintainer-list.nix6
1 files changed, 6 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix
index 3b2d7d48cfd2..f06929e46d14 100644
--- a/maintainers/maintainer-list.nix
+++ b/maintainers/maintainer-list.nix
@@ -5604,6 +5604,12 @@
fingerprint = "B573 5118 0375 A872 FBBF 7770 B629 036B E399 EEE9";
}];
};
+ mausch = {
+ email = "mauricioscheffer@gmail.com";
+ github = "mausch";
+ githubId = 95194;
+ name = "Mauricio Scheffer";
+ };
matejc = {
email = "cotman.matej@gmail.com";
github = "matejc";