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