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

Reply via email to