>>>>> "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
>>>>> "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