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. ;)