diff options
author | Matthew Justin Bauer <mjbauer95@gmail.com> | 2018-04-19 12:20:52 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-04-19 12:20:52 -0500 |
commit | 6548559061c8d13648439fa96ab4d87a36feef60 (patch) | |
tree | 18c51edd3fb6d3bbf9fe9494042c083e462a1cc1 /maintainers | |
parent | 93814ed41ce1eaf73ce8a9fda1eef512990e15be (diff) | |
parent | 1ee4331a309b1932c3e1ea3dbe12961fff9ae875 (diff) |
Merge pull request #38656 from krav/master
sleepyhead: init at 1.0.0-beta
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 8c5fdec0bd7ec..fbeed6cdcd253 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -1971,6 +1971,11 @@ github = "kragniz"; name = "Louis Taylor"; }; + krav = { + email = "kristoffer@microdisko.no"; + github = "krav"; + name = "Kristoffer Thømt Ravneberg"; + }; kristoff3r = { email = "k.soeholm@gmail.com"; github = "kristoff3r"; |