[PRQ#48607] Deletion Request for kattis-problemtools Rejected

[notify]

Request #48607 has been Rejected by MarsSeed [1]:

Revoking in favor of maintainer's merge request PRQ#49352.

[1] https://aur.archlinux.org/account/MarsSeed/