hej! i provided mantis-wm [1] a few minutes ago. however it's a git-package, so it's more appropriate to have it named mantis-wm-git [2]. please remove [1]. sorry for the inconvenience. thanks. regards, nem [1] https://aur.archlinux.org/packages.php?ID=59736 [2] https://aur.archlinux.org/packages.php?ID=59741