![Jonas Dreßler](/assets/img/avatar_default.png)
According to Ivan (author of that piece of code), this is most likely a leftover from a refactor and has no purpose anymore, so remove it. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2753>
According to Ivan (author of that piece of code), this is most likely a leftover from a refactor and has no purpose anymore, so remove it. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2753>