Ubuntu
gnome-shell package

  1. Bug #1822846
  2. Comment #8

Comment 8 for bug 1822846

Revision history for this message
Daniel van Vugt (vanvugt) wrote :

Unfortunately it seems the fix for this bug landed just hours/days slightly too late to be included in gnome-shell 3.32.0+git20190410