Am 05.12.20 um 18:53 schrieb Adam Williamson:
On Sat, 2020-12-05 at 18:49 +0100, Marius Schwarz wrote:
BTW: whats the actual gnome bugzilla?
gitlab.gnome.org .
Bug reported at gnome:
https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/3457
What makes me worry a bit is, that they have 1.210 issues open.
best regards, Marius