mirror of
https://github.com/edu4rdshl/gnome-shell.git
synced 2026-07-17 23:24:51 +00:00
Pull in more bug fixes, in particular a fix for duplicated entries
and a potential crash when pulseaudio is restarted.
https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/6842
Part-of:
<https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2849>
(cherry picked from commit
|
||
|---|---|---|
| .. | ||
| extensions-app | ||
| extensions-tool | ||
| gvc@000046e887 | ||
| shew | ||