Summary/Minutes from today's Fedora Infrastructure meeting (2013-07-25)