[aur-requests] [PRQ#12223] Deletion Request for gnome-shell-communitheme-git Accepted