On Tue, 30 Sep 2014 23:03:51 +0200 Jeroen Roovers <j...@gentoo.org> wrote:
> On Tue, 30 Sep 2014 13:01:35 +0200 > Ulrich Mueller <u...@gentoo.org> wrote: > > > >>>>> On Tue, 30 Sep 2014, Jeroen Roovers wrote: > > > > >> The same tags shouldn't be used for different things. > > > > > Then we might as well extend the DTD to have a required <email> > > > tag nested in each <herd> tag. > > > > But IIUC, the DTD must be changed also if the <herd> tag is removed? > > (Unless we want to leave a dead element in there.) > > If people are that attached to <herd> then we should apparently fix it > instead of removing it, possibly by making it closely resemble > <maintainer>. This sub proposal is a solution to most of the proposal disagreements. +1
