[Bug 1389955] Review Request: gnome-shell-extension-no-top-left-hot-corner - Disable the "hot corner" in GNOME Shell

https://bugzilla.redhat.com/show_bug.cgi?id=1389955 --- Comment #3 from terrycloth <andrew(a)tosk.in&gt; --- Spec URL: https://gitlab.com/terrycloth/packaging-gnome-shell-extension-no-top-left... SRPM URL: https://andrew.tosk.in/tmp/gnome-shell-extension-no-top-left-hot-corner-1... I've updated the spec and SRPM. Note also that I renamed the GitLab repository; I didn't know that 1 package = 1 repo, so I changed the name to be more specific to the No Topleft Hot Corner extension. -- You are receiving this mail because: You are on the CC list for the bug. You are always notified about changes to this product and component