Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Adds Gnome 43 support #58

Closed
wants to merge 1 commit into from
Closed

Adds Gnome 43 support #58

wants to merge 1 commit into from

Conversation

nielsonrolim
Copy link

@nielsonrolim nielsonrolim commented Nov 20, 2022 •
edited
Loading

  • Adds support to Gnome 43
  • Updates the master branch with the updates from version 58

@nielsonrolim nielsonrolim changed the title Add Gnome 43 support Adds Gnome 43 support Nov 20, 2022
@sorvani
Copy link

sorvani commented Nov 20, 2022

I checked out this PR locally and dropped it in my extensions folder with no issues.

@sorvani sorvani mentioned this pull request Nov 20, 2022
Open
@developomp
Copy link

@fthx can this PR be merged?

@jewzaam
Copy link

jewzaam commented Feb 10, 2023

Confirmed on 43 after upgrade to Fedora 37. +1 to merge, would be nice

@drzraf
Copy link

drzraf commented Aug 3, 2023

ping

@developomp
Copy link

For those who are unaware: #59 (comment)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
5 participants
@nielsonrolim @sorvani @developomp @jewzaam @drzraf