On Fri, Jan 27, 2012 at 6:43 PM, Alexander Rødseth <rodseth at gmail.com> wrote: > Hi, > > If a dev/tu adds a package to one of the official repos, they are > supposed to also remove the AUR packages for the same software, as > part of the process. > Though I guess in this case this won't be done until it moves to [extra]?