Peter >okay. Fixed it. It seems I forgot to backport the fixes from HEAD to the >RELEASE_402-branch, it should be fixed now. Next time builds a drop the >problems should have disapeared. > > OK, This is likely to be my fault. I made an attempt to port changes from head to 402, but it must have been incomplete.
I'll upload a new version tonight. - Paul -- To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]> For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>
