>>>>> "José" == José Matos <[EMAIL PROTECTED]> writes:
José> On Friday 15 June 2007 05:39:01 Richard Heck wrote: >> Now seeking an OK to commit. >> >> Richard José> Richard has gave this some thought and has tested this José> thoroughly so I am inclined to give this my OK. Any objection? Since there is no change to the code, the worst that can happen is that HTML export does not work, which was the case already. So I think it is safe. JMarc
