On 09/02/18 15:13, Rafael Fontenelle wrote: > I don't see it as mandatory, but if I was the maintainer of this > development package I would do as the developer says and request > package deletion. > > In order to request deletion, you use the menu at the right of your > package's page in AUR, "Submit request", select the proper type and > provide the reasoning. > > FYI: https://wiki.archlinux.org/index.php/AUR#Other_requests > > Best regards, > Rafael Fontenelle
Thank you. That is what I have done. I did look for a 'delete' option; I did not think it would be a sub-option of 'submit request'. But then it is Friday :)
