diff options
author | figsoda <figsoda@pm.me> | 2023-07-07 09:21:20 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-07-07 09:21:20 -0400 |
commit | 873012e0ac6c4feb66eeb88d7e14df4a8323f565 (patch) | |
tree | 06921b1f039b0eec67dbd2d8cb18fabede75382c /maintainers/team-list.nix | |
parent | 764472b473aecc128903065dc6f8c1418bf8ae8f (diff) | |
parent | c97ad2763a42263966f9dd939bd06e22f13ed457 (diff) |
Merge pull request #242037 from Profpatsch/maintainers-clean-up-Profpatsch
rm Profpatsch from stuff without interest/capacity of maintaining
Diffstat (limited to 'maintainers/team-list.nix')
-rw-r--r-- | maintainers/team-list.nix | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/maintainers/team-list.nix b/maintainers/team-list.nix index 568550d9b0f22..821486d55a3dc 100644 --- a/maintainers/team-list.nix +++ b/maintainers/team-list.nix @@ -606,7 +606,6 @@ with lib.maintainers; { nix = { members = [ - Profpatsch eelco grahamc pierron |