[aur-requests] [PRQ#9542] Merge Request for gnome-osx-shell-themes