the issue might be known upstream so maybe check for bugs on bugzilla.gnome.org before opening a new one
the issue might be known upstream so maybe check for bugs on bugzilla.gnome.org before opening a new one