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

[notify at aur.archlinux.org]

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-corner/