From: | Ulrich Mueller <ulm@g.o> | ||
---|---|---|---|
To: | gentoo-dev@l.g.o | ||
Subject: | Re: [gentoo-dev] RFC: Deprecating and killing herds in metadata.xml | ||
Date: | Tue, 30 Sep 2014 11:01:42 | ||
Message-Id: | 21546.36239.460931.562268@a1i15.kph.uni-mainz.de | ||
In Reply to: | Re: [gentoo-dev] RFC: Deprecating and killing herds in metadata.xml by Jeroen Roovers |
1 | >>>>> On Tue, 30 Sep 2014, Jeroen Roovers wrote: |
2 | |
3 | >> The same tags shouldn't be used for different things. |
4 | |
5 | > Then we might as well extend the DTD to have a required <email> tag |
6 | > nested in each <herd> tag. |
7 | |
8 | But IIUC, the DTD must be changed also if the <herd> tag is removed? |
9 | (Unless we want to leave a dead element in there.) |
10 | |
11 | Ulrich |
Subject | Author |
---|---|
Re: [gentoo-dev] RFC: Deprecating and killing herds in metadata.xml | Jeroen Roovers <jer@g.o> |