[Rdo-list] Fedora release mixup in Havana Repo