gnomeExtensions: add patch framework and fix extensions#137131

Merged

maralorn merged 5 commits intoNixOS:masterfrom

piegamesde:gnome-extensions

Sep 30, 2021

Commits on Sep 8, 2021

Commits on Sep 10, 2021

gnomeExtensions.tilingGnome: remove unstable in pname
piegamesde
committed

Commits on Sep 24, 2021

gnomeExtensions: rename extensionPatches.nix to extensionOverrides.nix
piegamesde
committed