Jan Tojnar 0ff3e9dc9d gnome.gnome-shell: 42.beta → 42.0 ... https://gitlab.gnome.org/GNOME/gnome-shell/-/compare/42.beta...42.0		2022-03-25 15:02:36 +01:00
..
default.nix	gnome.gnome-shell: 42.beta → 42.0	2022-03-25 15:02:36 +01:00
fix-paths.patch
shew-gir-path.patch
wrap-services.patch