On 10/01/12 10:42, Martin de la Iglesia wrote:
> Dear Laurent, dear list,
> sorry if I'm missing something obvious, but where's that new<document>
> element that's mentioned in the release notes?
> Best regards,
The release notes (which were checked by at least four people who should
have noticed this, including me) are wrong! The new element is called