Hacker News new | ask | show | jobs
by dlandau 1013 days ago
I thought I recognized the GitHub username, you contributed to my GNOME Shell extension years ago!
1 comments
askiiart 1013 days ago
Just wondering, what was the extension?
link
ktm5j 1013 days ago
Looks like this one! https://github.com/nevesnunes/switcher
link