Re: [cloud] #132: Fedora AMIs should use corresponding s3 mirrors