133a1e7bef
We generally avoid these (not least because Linus hates them enough to make git complain loudly), but some sneaked in over time ... https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/731