Re: [fedora-websites] #113: Update get-fedora-options/#clouds with F17 AMI IDs