[PRQ#38217] Merge Request for gnome-shell-extensions-battery-time-git

igor-dyatlov [1] filed a request to merge gnome-shell-extensions- battery-time-git [2] into gnome-shell-extension-battery-time-git [3]: Correcting the package name: extensions -> extension https://aur.archlinux.org/pkgbase/gnome-shell-extension-battery-time- git [1] https://aur.archlinux.org/account/igor-dyatlov/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extensions-battery-time-git/ [3] https://aur.archlinux.org/pkgbase/gnome-shell-extension-battery-time-git/