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