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