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.

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

gnomeExtensions.nohotcorner: drop #70880

Merged
merged 1 commit into from Oct 9, 2019
Merged

gnomeExtensions.nohotcorner: drop #70880

merged 1 commit into from Oct 9, 2019

Conversation

jtojnar
Copy link
Contributor

@jtojnar jtojnar commented Oct 9, 2019

It is part of GNOME 3.34

@jtojnar
gnomeExtensions.nohotcorner: drop
59bb56a 
It is part of GNOME 3.34
@ofborg ofborg bot added 6.topic: GNOME GNOME desktop environment and its underlying platform 8.has: clean-up 10.rebuild-darwin: 0 10.rebuild-linux: 0 labels Oct 9, 2019
@worldofpeace
Copy link
Contributor

Tested

nix-build -A gnomeExtensions.nohotcorner
error: removed 2019-10-09: Since 3.34, it is a part of GNOME Shell configurable through GNOME Tweaks.

@worldofpeace worldofpeace merged commit 5883c59 into NixOS:master Oct 9, 2019
@jtojnar jtojnar deleted the no-no-hot-corners branch October 28, 2019 17:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@worldofpeace worldofpeace worldofpeace approved these changes

Assignees
No one assigned
Labels
6.topic: GNOME GNOME desktop environment and its underlying platform 8.has: clean-up 10.rebuild-darwin: 0 10.rebuild-linux: 0
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@jtojnar @worldofpeace