Re: [aur-requests] [PRQ#4098] Merge Request for hawaii-icon-themes