Push GNOME42 Update to/extensions.gnome.org

bananenfisch / RecentItems

Recent Items - an extension for gnome-shell

GNU General Public License v3.0

25 stars 11 forks source link

Closed InklingGirl closed 2 years ago

InklingGirl commented 2 years ago

Please push your GNOME42 update to https://extensions.gnome.org/extension, as the version on there right now is incompatible. Thank you!

sr258 commented 2 years ago

@bananenfisch This would be really helpful!

skurzinz commented 2 years ago

+1 even if it’s easy to just update the extension file locally :)

bananenfisch commented 2 years ago

oops sorry, i forgot... now its done ;-)