Hi!, Here's another gnome-shell bug that might nice to have soon: https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/706
Impact is low, and tested correct, even if the related issue was not verified fixed. Cheers, Carlos
_______________________________________________ [email protected] https://mail.gnome.org/mailman/listinfo/release-team Release-team lurker? Do NOT participate in discussions.
