253 reputation
35
bio website
location
age
visits member for 3 years, 9 months
seen Dec 20 at 15:49

Mar
13
accepted How to disable the alt-hotkey behavior on gnome terminal?