Ubuntu
gnome-shell package

  1. Bug #1959507
  2. Comment #14

Comment 14 for bug 1959507

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

Unfortunately the bots are wrong in directing so many people to this bug.

Comment #13 is describing bug 1970917.

The problem with the bots is bug 1982283.