[aur-requests] [PRQ#30611] Orphan Request for proofgeneral-git Accepted

Request #30611 has been accepted automatically by the Arch User Repository package request system: The package base has been flagged out-of-date since 2019-11-22.