idris2: drop RossSmyth from maintainers

2026-06-05 21:03:40 +00:00 · 2026-05-30 23:06:38 -04:00
parent eb1603a992
commit 4da5fcf42b
1 changed files with 0 additions and 1 deletions
--- a/pkgs/by-name/id/idris2/unwrapped.nix
+++ b/pkgs/by-name/id/idris2/unwrapped.nix
@@ -166,7 +166,6 @@ stdenv.mkDerivation (finalAttrs: {
      fabianhjr
      wchresta
      mattpolzin
-      RossSmyth
    ];
    platforms = lib.platforms.all;
  };