Ubuntu
gnome-shell package

  1. Bug #1714330
  2. Comment #19

Comment 19 for bug 1714330

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

Nicolás, everyone, please open new bugs if you have further issues.

This bug is fixed and closed.