Christoph Goller wrote:
Items 4 and 5 don't seem that important to me. As far as I am
concerned we can leave them out.
When did 4 happen? Was it a rare or common problem?
I agree that we don't need to put 5 in 1.4.2.
So the only thing missing is your
optimization. Then 1.4.2 should be ready.
I just committed this. I can make a 1.4.2 release later today or Monday.
Doug
---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]