[aur-requests] [PRQ#12165] Deletion Request for robco-terminal-git