Re: [aur-general] Change name of PKG in the AUR without deleting the old one?

[member graysky]

Thanks.  I will post an announcement and request the merge.