Reputation
Top tag
Next privilege 200 Rep.
See reduced ads
Badges
2
Impact
~6k people reached

  • 0 posts edited
  • 0 helpful flags
  • 0 votes cast
Apr
25
comment Gnome Shell 3.4 and a “Super key” related shortcut
Sorry, I'm not sure. I don't have that problem.