From faed40ae61e3511610be2d5f76148c4740f34545 Mon Sep 17 00:00:00 2001
From: ChaosAttractor <lostattractor@gmail.com>
Date: Sat, 8 Apr 2023 18:03:58 +0800
Subject: [PATCH] gnomeExtensions.volume-mixer: remove patch

Removed patch because the extension only supports up to Gnome 41, which has been deprecated.
---
 .../desktops/gnome/extensions/extensionOverrides.nix | 12 ------------
 1 file changed, 12 deletions(-)

diff --git a/pkgs/desktops/gnome/extensions/extensionOverrides.nix b/pkgs/desktops/gnome/extensions/extensionOverrides.nix
index 44004733fafe..ccefe08347b9 100644
--- a/pkgs/desktops/gnome/extensions/extensionOverrides.nix
+++ b/pkgs/desktops/gnome/extensions/extensionOverrides.nix
@@ -91,18 +91,6 @@ super: lib.trivial.pipe super [
     ];
   }))
 
-  (patchExtension "shell-volume-mixer@derhofbauer.at" (old: {
-    patches = [
-      (substituteAll {
-        src = ./extensionOverridesPatches/shell-volume-mixer_at_derhofbauer.at.patch;
-        inherit pulseaudio;
-        inherit python3;
-      })
-    ];
-
-    meta.maintainers = with lib.maintainers; [ rhoriguchi ];
-  }))
-
   (patchExtension "tophat@fflewddur.github.io" (old: {
     patches = [
       (substituteAll {