Hello, Could oxygen-gtk and oxygen-gtk3[1] be pushed? They fixed some bugs regarding gnome-shell. As we are the supporting distro of oxygen-gtk, I guess we should push it. Regards. [1]: https://projects.kde.org/news/198