On Fri, 15 Jul 2011 21:07:04 +0200, MS (Michael) wrote: > push will have removed it from the queue for sure. If a rebuild of your > pkg still fails, there is stable repodata on the builder. Too many typos in my mail. Sorry. stable -> stale to correct at least one. ;)