Fedora 20 Update: repo_manager-0.1.0-3.fc20