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

[Aaron Griffin]

On Fri, Oct 16, 2009 at 5:15 PM, Daniel Isenmann <daniel.isenmann at gmx.de> wrote:
> 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.

Done