community/gnome-shell: upgrade to 42.1

8 jobs for !34413 with gnome-shell-42.1 in 14 minutes and 57 seconds (queued for 2 seconds)
merge request