#4397: Update fedora-release for the branched tree