W3C home > Mailing lists > Public > public-sml@w3.org > February 2009

[Bug 6480] PR publication related editorial changes

From: <bugzilla@wiggum.w3.org>
Date: Mon, 23 Feb 2009 17:46:23 +0000
To: public-sml@w3.org
Message-Id: <E1Lbesp-0000Bg-UG@wiggum.w3.org>

Henry S. Thompson <ht@inf.ed.ac.uk> changed:

           What    |Removed                     |Added
                 CC|                            |ht@inf.ed.ac.uk

--- Comment #1 from Henry S. Thompson <ht@inf.ed.ac.uk>  2009-02-23 17:46:23 ---
Just to clarify: The PR publication process inevitably involved a number of
low-level editorial or even sub-editorial changes.  It follows that
http://www.w3.org/TR/2009/PR-sml-20090212/sml.xml and
http://www.w3.org/TR/2009/PR-sml-if-20090212/sml-if.xml are out of sync with
the editors' CVS working copies.  Diffs need to be done and as many of the
changes as possible copied back to the CVS versions.

Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
Received on Monday, 23 February 2009 17:46:36 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:56:15 UTC