In the mean time, is it possible to manually set GODI to use 3.11? I tried setting GODI_SECTION to 3.11 in the config file, but that just gives errors.
On Thu, Dec 4, 2008 at 10:22 AM, Dario Teixeira <[EMAIL PROTECTED]>wrote: > Hi, > > Now that 3.11 has been released, is there an estimate when we > can expect a 3.11 release line in GODI? I reckon that compared > with the 3.09 -> 3.10 transition, this one should be smoother > (no major changes in Camlp4). Am I guessing correctly? > > Cheers, > Dario Teixeira > > > > > > _______________________________________________ > Godi-list mailing list > [email protected] > https://godirepo.camlcity.org/mailman/listinfo/godi-list >
_______________________________________________ Godi-list mailing list [email protected] https://godirepo.camlcity.org/mailman/listinfo/godi-list
