[aur-general] Renaming package

[Sebastien Duthil]

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 ?