Re: [aur-requests] [PRQ#10727] Merge Request for gnome-shell-theme-copernico-git