Skip to content
This repository has been archived by the owner on Nov 6, 2023. It is now read-only.

Thank you! #81

Open
bragefuglseth opened this issue Mar 20, 2023 · 0 comments
Open

Thank you! #81

bragefuglseth opened this issue Mar 20, 2023 · 0 comments

Comments

@bragefuglseth
Copy link

As GNOME 44 approaches, the behavior of this extension has (mostly) been implemented into the desktop by default. I just wanted to thank everyone who have developed and maintained this project over the years. It's one of the very few extensions I've had installed on my system, and it has truly been a lifesaver.

Thank you! ❤️
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@bragefuglseth