Hi,

> We are closing in on version 3.11.0.  A Release Candidate
> is now available.
> If there are no show-stoppers in this RC, then 3.11.0 will
> be officially released next week.

For GODI, what's the CVS branch one should use?
Am I correct in assuming "ocaml3110rc1"?

Also, using GODI and the "ocaml3110rc1" branch,
I get a compilation error:

make[8]: execvp: ./build/mixed-boot.sh: Permission denied
make[8]: *** [ocamlbuild-mixed-boot] Error 127

I reckon the problem is that the mixed-boot.sh script does not
have the executable flag set.  Anyone else encountering this
problem?

Cheers,
Dario Teixeira