[PRQ#54657] Deletion Request for hotpatch Accepted

[notify]

Request #54657 has been Accepted by serebit [1]:

[Autogenerated] Accepted deletion for hotpatch.

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