gnomeExtensions.volume-mixer: remove patch

Removed patch because the extension only supports up to Gnome 41, which has been deprecated.
2023-04-16 14:44:13 +08:00
parent 4b53c01e56
commit faed40ae61
1 changed files with 0 additions and 12 deletions
@@ -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 {