[aur-requests] [PRQ#14030] Deletion Request for monodevelop-git