Ubuntu
gnome-shell package

  1. Bug #1726538
  2. Comment #13

Comment 13 for bug 1726538

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

Can anyone still reproduce this bug? If so then what Ubuntu version?

Given the discussion has been quiet since 2017 and I don't recall having hit this myself, I suspect it was fixed in 18.04 at least.