[aur-requests] [PRQ#7514] Merge Request for gnome-shell-extension-workspace-grid

[notify at aur.archlinux.org]

zakkak [1] filed a request to merge gnome-shell-extension-workspace-
grid [2] into gnome-shell-extension-workspace-grid-git [3]:

This is a git package and I was asked to rename it to gnome-shell-
extension-workspace-grid-git

[1] https://aur.archlinux.org/account/zakkak/
[2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-workspace-grid/
[3] https://aur.archlinux.org/pkgbase/gnome-shell-extension-workspace-grid-git/