Could you remove https://aur.archlinux.org/packages.php?ID=55683 as it is now 
merged with cinnamon-git?

Reply via email to