Hi. On Wed, 22 Mar 2006 13:48:51 +0100, Hans de Goede wrote: > Erm, I already build this but it hasn't been pushed yet, michael any > chance you could run the script after the regular push time? You could also just ignore the mail :)