Jan Tojnar 7ba4bb4f30 gnome3.gnome-shell: Switch to master ... It contains several critical fixes.		2021-05-05 22:43:10 +02:00
..
default.nix	gnome3.gnome-shell: Switch to master	2021-05-05 22:43:10 +02:00
fix_gmenu.patch