[aur-requests] [PRQ#19061] Deletion Request for gnome-shell-extension-no-topleft-hot-corner
28 Apr
2020
28 Apr
'20
7:03 p.m.
NicoHood [1] filed a deletion request for gnome-shell-extension-no- topleft-hot-corner [2]: This package is obsolete now, as the gnome tweaks tool provide an option to disable the hot corner. You could also use dconf if you wish. The gnome tweaks setting is under Top Bar -> Activities Overview Hot Corner (First entry). [1] https://aur.archlinux.org/account/NicoHood/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-no-topleft-hot-corne...
10 May
10 May
9:48 a.m.
New subject: [aur-requests] [PRQ#19061] Deletion Request for gnome-shell-extension-no-topleft-hot-corner Accepted
Request #19061 has been accepted by polyzen [1]. [1] https://aur.archlinux.org/account/polyzen/
1643
Age (days ago)
1655
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify@aur.archlinux.org