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 :) -- fedora-extras-list mailing list fedora-extras-list@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/fedora-extras-list
