public-xml-er@w3.org from July 2013 by thread

I think we have decimal all wrong ... David Lee (Wednesday, 17 July)

Last message date: Wednesday, 17 July 2013 19:06:37 UTC