[arch-dev-public] Moving a package from [community] to [extra]

[Daniel Isenmann]

On Sat, 17 Oct 2009 00:03:07 +0200
Thomas Bächler <thomas at archlinux.org> wrote:

> Daniel Isenmann schrieb:
> > Alright, then I will do it manually. Have I the rights to delete a
> > package in community? Never tested before.
> 
> You'll need an account on sigurd and must have the right groups,
> obviously.
> 

Thomas is right here, I can't delete it. Can someone please delete
"monodevelop" from community? Thanks.