Hi, I was wondering what is holding up the push process. I did build gnome-mplayer-0.9.3-2 and gecko-mediaplayer-0.9.3-2 a few days ago, and they still did not appear in testing. Is this some issue with push scripts, or just lack of time to fire up the push? Regards, Julian