[aur-requests] [PRQ#13081] Deletion Request for modman-bin Accepted