-
Notifications
You must be signed in to change notification settings - Fork 93
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Provide 3.38 tag #347
Comments
Similarly now for GNOME 42! |
We can't update extensions.gnome.org. Only @elbenfreund would be able to do that. |
Ah, thanks! |
Done. |
Thanks Martin for the fix. But, maybe its time for us to somehow push the new version without waiting for @elbenfreund anymore. For example by adding a number at the end as a new extension. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Hello
Since 89a93f4 , develop version looks compatible with 3.38 gnome. Should be nice to
update #327 and add gnome-shell-3.38 tag or at least allow update from https://extensions.gnome.org/
Thanks
The text was updated successfully, but these errors were encountered: