dasj19 2ca6f6d33a gnome3.gnome-shell: 3.36.4 -> 3.36.5 (#95694)		2020-08-23 18:14:26 +02:00
..
default.nix	gnome3.gnome-shell: 3.36.4 -> 3.36.5 (#95694)	2020-08-23 18:14:26 +02:00
fix-paths.patch
shew-gir-path.patch
wrap-services.patch