Change in jenkins[master]: Updated Fedora distro list for repoman (-fc23 +fc25)