Ubuntu
gnome-desktop3 package

  1. Bug #1807127
  2. Comment #3

Comment 3 for bug 1807127

Revision history for this message
Iain Lane (laney) wrote :

I submitted a fix to upstream: https://gitlab.gnome.org/GNOME/gnome-desktop/merge_requests/20, let's see what they say.