bded83d8a3
This is in response to identifying a bug with the way priorities work with categories. Two repos may both specify different categories for the same package. In this case, F-Droid should only select the categories from the highest priority repo. Well, it is not to say that this is the most preferable option, but it is consistent with other ways that repo priorities are used.