I have an alternative solution which would be more compatible with
changes we'll make in the future, could this one also get an approval?
It's even less intrusive than the other one since there's no need to
stop initially hiding the label.
https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/215
Thank you,
verdre
On 02.09.2018 02:37, mcatanz...@gnome.org wrote:
I'll give a hesitant +1 to this one, since the change is small.
If you consider it important enough for a 3.30.0 freeze break, rather
than waiting three weeks for 3.30.1, then it should also important
enough to backport to 3.28. It would be nice to see this fixed there too.
Thanks for solving it,
Michael
_______________________________________________
release-team@gnome.org
https://mail.gnome.org/mailman/listinfo/release-team
Release-team lurker? Do NOT participate in discussions.
