idris2: add mattpolzin as a maintainer

2024-01-15 18:20:58 -06:00
parent ce58e0643b
commit f3c916f909
1 changed files with 1 additions and 1 deletions
@@ -91,7 +91,7 @@ in stdenv.mkDerivation rec {
    description = "A purely functional programming language with first class types";
    homepage = "https://github.com/idris-lang/Idris2";
    license = lib.licenses.bsd3;
-    maintainers = with lib.maintainers; [ fabianhjr wchresta ];
+    maintainers = with lib.maintainers; [ fabianhjr wchresta mattpolzin ];
    inherit (chez.meta) platforms;
  };
 }