111 reputation
12
bio website
location
age
visits member for 2 years, 6 months
seen Jul 1 at 11:24

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?