Hans-Christoph Steiner b9b7dab2c4 fix additional_repos.xml handling to be properly parsed
additional_repos.xml has 7 <item> elements per repo, while default_repos.xml
has 8.  The difference is that additional_repos.xml does not have the
"priority" <item> since it is not allowed to override anything that is set
in default_repos.xml.

see spec in !705
2018-10-18 15:07:53 +02:00
..
2018-09-12 14:28:20 +02:00