Re: [aur-general] Delete request: monodevelop-monogame-addin-git