On 27 Jul 2017, at 17:44, John Reid <John.Reid at stfc.ac.uk> wrote: > WG5, > > David prefers that I make the change. Here is the new version. Please discard the old version. > > John. Sorry to be pedantic yet again but I think that should have gone to sc22wg5, not just j3. Cheers, David