From f3c916f9090dc461c59f807ddcd756ca43a166cd Mon Sep 17 00:00:00 2001
From: Mathew Polzin <matt.polzin@gmail.com>
Date: Mon, 15 Jan 2024 18:20:58 -0600
Subject: [PATCH] idris2: add mattpolzin as a maintainer

---
 pkgs/development/compilers/idris2/idris2.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/development/compilers/idris2/idris2.nix b/pkgs/development/compilers/idris2/idris2.nix
index fc72bffb3847..88c4d05703cf 100644
--- a/pkgs/development/compilers/idris2/idris2.nix
+++ b/pkgs/development/compilers/idris2/idris2.nix
@@ -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;
   };
 }