[PRQ#72271] Deletion Request for proteus Accepted

[notify]

Request #72271 has been Accepted by Muflone [1]:

[Autogenerated] Accepted deletion for proteus.

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