Ubuntu
gnome-shell package

  1. Bug #1718238
  2. Comment #27

Comment 27 for bug 1718238

Revision history for this message
Egmont Koblinger (egmont-gmail) wrote :

> There is a patch on gitHub for this about 3 days ago.

Where exactly?