>>>>> On Thu, 17 Sep 2015, Michał Górny wrote: >> Let's please first decide on the greater scheme of projects, teams, >> and herds. Starting to change files before we have any plan doesn't >> make sense.
> We already decided we move projects to Wiki. I don't think we're > going to decide to move them to GuideXML ever again. Keeping an > element dedicated to that doesn't make any sense because it can > never work again. Updating herds.xml implies that we are going to keep the concept of herds, and there is no decision on that yet. IIUC keeping an obsolete element in the DTD doesn't actually break anything, so I don't see the urgency of removing it. Ulrich
pgpYZ4U7tWQHI.pgp
Description: PGP signature
