On Wednesday 18 July 2007 22:35:52 Dov Feldstern wrote: > Attached find a patch which includes: > > - a placeholder format change for bug 1820
Either we change the file format now or we don't. I don't want to be in a gray area. Since we have decided not to convert old document do I think that we should really ignore this with no regrets. > - a comment for the release notes explaining the situation > > The release notes is done against Jose's patch for them, and also > includes some minor fixes to that. The only significant change is that I > changed the "please report to the users list" to "developers list" (I > think Abdel also suggested that change). > > Jose --- can I commit the patch itself, along with these additions? Without the placeholder for the file format yes. > Dov -- José Abílio