Skip to content

Revert "gnome3: Package all the Gnome extensions"#118184

Merged
mweinelt merged 1 commit intomasterfrom
revert-108414-gnome-extensions
Mar 31, 2021
Merged

Revert "gnome3: Package all the Gnome extensions"#118184
mweinelt merged 1 commit intomasterfrom
revert-108414-gnome-extensions

Conversation

@mweinelt
Copy link
Copy Markdown
Member

Reverts #108414

Merged the wrong commit :(

@github-actions github-actions bot added the 6.topic: GNOME GNOME desktop environment and its underlying platform label Mar 31, 2021
@mweinelt mweinelt merged commit 8d216d4 into master Mar 31, 2021
@mweinelt mweinelt deleted the revert-108414-gnome-extensions branch March 31, 2021 23:38
@ofborg ofborg bot added 10.rebuild-darwin: 0 This PR does not cause any packages to rebuild on Darwin. 10.rebuild-linux: 0 This PR does not cause any packages to rebuild on Linux. labels Mar 31, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

6.topic: GNOME GNOME desktop environment and its underlying platform 10.rebuild-darwin: 0 This PR does not cause any packages to rebuild on Darwin. 10.rebuild-linux: 0 This PR does not cause any packages to rebuild on Linux.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant