[PRQ#53406] Deletion Request for dumb_types_header Accepted

[notify]

Request #53406 has been Accepted by muflone [1]:

[Autogenerated] Accepted deletion for dumb_types_header.

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