111 reputation
12
bio website
location
age
visits member for 2 years, 7 months
seen Oct 6 at 16:27

Mar
9
asked How do I set the default GNOME terminal?
Mar
9
asked How does Gnome 3 execute commands that are bound to keyboard shortcuts?