Re: [Rdo-list] What is a correct RDO repository to setup AIO Havana on F20 ?