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

[notify]

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

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

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