[opensuse-arm] Devel ARM 13.1 Contrib projects pointing to the right project?

Hi, We have devel:ARM:13.1:Contrib:* projects pointing to openSUSE:13.1 (repository="ports"). Should not we make them pointing to openSUSE:13.1:Ports (repository="ports"), so that we have latest fixes? Guillaume -- To unsubscribe, e-mail: opensuse-arm+unsubscribe@opensuse.org To contact the owner, e-mail: opensuse-arm+owner@opensuse.org