253 reputation
35
bio website
location
age
visits member for 3 years, 6 months
seen Aug 23 at 20:17

Nov
22
awarded  Good Question
Oct
1
awarded  Yearling
Nov
6
awarded  Notable Question
Oct
19
awarded  Supporter
Aug
3
awarded  Nice Question
Mar
7
awarded  Popular Question
Mar
13
awarded  Scholar
Mar
13
accepted How to disable the alt-hotkey behavior on gnome terminal?
Mar
13
awarded  Student
Mar
13
asked How to disable the alt-hotkey behavior on gnome terminal?