[aur-requests] [PRQ#4870] Deletion Request for vulkan

[notify at aur.archlinux.org]

1ace [1] filed a deletion request for vulkan [2]:

extra/vulkan-sdk & extra/vulkan-icd-loader replace these vulkan-sdk &
vulkan-loader.

Not sure what to do about the different name though; should I push an
update with the new name (vulkan-icd-loader) and `replaces=(vulkan-
loader)` to make those who installed my package use the new name, and
in a week (when hopefully people have upgraded to the new name)
actually delete this one?

[1] https://aur.archlinux.org/account/1ace/
[2] https://aur.archlinux.org/pkgbase/vulkan/