[PRQ#63991] Deletion Request for shell-headers Accepted

[notify]

Request #63991 has been Accepted by bertptrs [1]:

[Autogenerated] Accepted deletion for shell-headers.

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