>>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes:

Martin> As this does not change the document version number, I would
Martin> put this in unless someone raises objections. Small
Martin> improvements are improvements too.
 
Good idea.

JMarc

Reply via email to