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

Daniel Isenmann daniel.isenmann at gmx.de
Fri Oct 16 18:15:34 EDT 2009

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.

More information about the arch-dev-public mailing list