On Fri, Jan 14, 2011 at 1:19 PM, Sebastien Duthil <firstname.lastname@example.org> wrote:
> 15/01/2011 02:02, Brad Fanella :
>> As of now, you cannot rename packages. If you simply upload a new one,
>> I can delete the old package for you.:-)
> I uploaded the new package. If you could remove the "gplanarity" package, it
> would be great. Thanks !
> By the way, I commented the package to say that it will be removed, is it
> necessary or is a deletion notice sent to the notified users ?
I don't believe that deletion notices are sent. I always like to add a
little comment before I delete my packages.
I deleted gplanarity. Thank you for your AUR contributions. :-)