From 1eb41e586b4cb5edf9a6a5d2649a5306aff29b2c Mon Sep 17 00:00:00 2001
From: Paul-Nicolas Madelaine <pnm@pnm.tf>
Date: Mon, 20 Jan 2025 15:27:05 +0100
Subject: [PATCH] fstar: remove pnmadelaine as maintainer

---
 pkgs/development/compilers/fstar/default.nix | 1 -
 1 file changed, 1 deletion(-)

diff --git a/pkgs/development/compilers/fstar/default.nix b/pkgs/development/compilers/fstar/default.nix
index d32158784b09..3d738444f533 100644
--- a/pkgs/development/compilers/fstar/default.nix
+++ b/pkgs/development/compilers/fstar/default.nix
@@ -86,7 +86,6 @@ stdenv.mkDerivation {
     license = licenses.asl20;
     maintainers = with maintainers; [
       gebner
-      pnmadelaine
     ];
     mainProgram = "fstar.exe";
     platforms = with platforms; darwin ++ linux;