GNOME Shell

  1. Bug #793055
  2. Comment #4

Comment 4 for bug 793055

Revision history for this message
guerda (derguerda) wrote :

Hi Shimi,

I filed a bug over there: https://bugzilla.gnome.org/show_bug.cgi?id=652340
Hope, this get fixed.

Greetings,
Philip