[aur-requests] [PRQ#19061] Deletion Request for gnome-shell-extension-no-topleft-hot-corner

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...