Re: Crosshatch in XPointer, XLink (was Last call comments on XML Base) from Martin J. Duerst on 2000-07-11 (www-xml-linking-comments@w3.org from July to September 2000)

From: Martin J. Duerst <duerst@w3.org>
Date: Tue, 11 Jul 2000 10:14:48 +0900
To: Jonathan Marsh <jmarsh@microsoft.com>, "'www-xml-linking-comments@w3.org'" <www-xml-linking-comments@w3.org>
Message-Id: <4.2.0.58.J.20000711101418.009cb870@sh.w3.mag.keio.ac.jp>

At 00/07/10 11:32 -0700, Jonathan Marsh wrote:
>Martin wrote:
>
> > There is a very minor I18N comment to change 'crosshatch'
> > to 'number sign' (the official name of #).
>
>Per the WG resolution to accept this comment, I have changed this in XML
>Base.

Thanks a lot.


>I stole the wording directly from XLink and XPointer, so I assume
>they should to be changed before PR as well.

Yes indeed.

Regards,   Martin.

Received on Monday, 10 July 2000 22:44:18 UTC