On Tue, Jan 29, 2013 at 08:35:44 -0700, Kevin Fenzi <kevin@xxxxxxxxx> wrote:
No, that push was killed before it went out.
Are we going to get a make up push? (I know it isn't a big deal to wait until tomorrow, but I figured I'd ask.)
-- users mailing list users@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe or change subscription options: https://admin.fedoraproject.org/mailman/listinfo/users Guidelines: http://fedoraproject.org/wiki/Mailing_list_guidelines Have a question? Ask away: http://ask.fedoraproject.org
