On Tue, Aug 11, 2015 at 10:16 AM, Michał Górny wrote:
> Hello,
>
> A quick patch for review. It changes the DTD for repositories.xml to
> support multiple tags. We have at least one repository with
> more than one owner, and I don't really see creating aliases for our
> users just to support that
Hello,
A quick patch for review. It changes the DTD for repositories.xml to
support multiple tags. We have at least one repository with
more than one owner, and I don't really see creating aliases for our
users just to support that. Any comments?
Index: repositories.dtd
