Re: [Tei-council] Release Number?

I agree, 4.2.0. Do we have a codename yet? (Do we want to continue with these really fun, but utterly pointless, codenames?) ________________________________ I agree that there is a lot in the release. Nevertheless, I would stick with 4.2.0.