letorbi [1] filed an orphan request for gnome-shell-extension-hot- edge-git [2]:
This git-package has a build issue since at least October 2023, which has not been fixed even though the package has been flagged out of date and only be a small patch of the PKGBUILD file is required. [1] https://aur.archlinux.org/account/letorbi/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-hot-edge-git/
