Jan Tojnar 7131d1832c gnome.mutter: Drop unneeded patch ... This is not necessary since the 43.2 bump: 3933114462		2022-12-14 14:25:10 +01:00
..
3.38	gnome.mutter338: Fix build with separate sysprof	2022-10-11 18:52:28 +02:00
default.nix	gnome.mutter: Drop unneeded patch	2022-12-14 14:25:10 +01:00