Bobby Rong 71bdfad793 gnome.gnome-shell: 43.2 → 43.3 ... https://gitlab.gnome.org/GNOME/gnome-shell/-/compare/43.2...43.3 - Ensure quick settings toggles align with the pixel grid. - Lower OOM score of gnome-shell process. - Fix incomplete device list in volume menus. - Fixed crash. - Plugged leak. - Misc. bug fixes and cleanups.		2023-02-19 11:09:17 +08:00
..
default.nix	gnome.gnome-shell: 43.2 → 43.3	2023-02-19 11:09:17 +08:00
fix-paths.patch
shew-gir-path.patch
wrap-services.patch	gnome.gnome-shell: 41.3 → 42.beta	2022-03-25 15:01:25 +01:00