Ubuntu
gnome-shell package

  1. Bug #1423773
  2. Comment #20

Comment 20 for bug 1423773

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

It think it ended up being refixed in 91ce5ca960879dbe810cde43265d00b5c6446a1a but still fix released in gnome-shell 43.0.