From 66d1287c7d8ce00d7f3958c992354b343c012306 Mon Sep 17 00:00:00 2001
From: "nixpkgs-committers[bot]"
 <219732861+nixpkgs-committers[bot]@users.noreply.github.com>
Date: Tue, 9 Dec 2025 14:14:34 +0000
Subject: [PATCH] Automatic retirement of @Profpatsch

---
 members/Profpatsch | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 members/Profpatsch

diff --git a/members/Profpatsch b/members/Profpatsch
deleted file mode 100644
index e69de29..0000000