Ubuntu
gnome-shell package

  1. Bug #1819816
  2. Comment #10

Comment 10 for bug 1819816

Revision history for this message
Bram Stolk (b-stolk) wrote :

My system was indeed mis-configured. Thanks for helping, I apologize for the distraction.