[PRQ#38218] Merge Request for gnome-shell-extensions-hotkeys-popup-git Accepted

[notify]

Request #38218 has been Accepted by polyzen [1]:

[Autogenerated] Accepted merge for gnome-shell-extensions-hotkeys-
popup-git into gnome-shell-extension-hotkeys-popup-git.

[1] https://aur.archlinux.org/account/polyzen/