diff options
| author | zowoq <59103226+zowoq@users.noreply.github.com> | 2022-02-12 07:08:20 +1000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-12 07:08:20 +1000 |
| commit | 23d785aa6f853e6cf3430119811c334025bbef55 (patch) | |
| tree | db9a01dbe11a44799f28ccf18b7571325d21647d /maintainers | |
| parent | 40a0a74d257cfab08de49273b25a2c727e0e52aa (diff) | |
| parent | 6df6f276a36d2cc18472e467f94226dd2795f6ba (diff) | |
Merge pull request #158438 from fkautz/init-witness-0.1.1
witness: init at 0.1.1
Diffstat (limited to 'maintainers')
| -rw-r--r-- | maintainers/maintainer-list.nix | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 4acb19eaa5c21..39e3599f8ef6c 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -4022,6 +4022,12 @@ github = "fitzgibbon"; githubId = 617048; }; + fkautz = { + name = "Frederick F. Kautz IV"; + email = "fkautz@alumni.cmu.edu"; + github = "fkautz"; + githubId = 135706; + }; Flakebi = { email = "flakebi@t-online.de"; github = "Flakebi"; |