233 reputation
35
bio website
location
age
visits member for 3 years, 1 month
seen Feb 27 at 21:12

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?