 |
Newsgroups: fa.caml
From: Richard Jones <r...@annexia.org>
Date: Tue, 03 Jun 2008 07:27:09 UTC
Local: Tues, Jun 3 2008 3:27 am
Subject: [Caml-list] Release date for 3.11?
I'm sure the answer will be 'when it's ready', but is there a release Rich. -- _______________________________________________ You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
| |||||||||||||
|
Newsgroups: fa.caml
From: Xavier Leroy <Xavier.Le...@inria.fr>
Date: Tue, 03 Jun 2008 16:46:53 UTC
Local: Tues, Jun 3 2008 12:46 pm
Subject: Re: [Caml-list] Release date for 3.11?
> I'm sure the answer will be 'when it's ready', but is there a release I'd like to release by late August, provided no show-stopping problems > date (month / year / ...) for 3.11 or release candidates of 3.11? show up by then. - Xavier Leroy _______________________________________________ You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
| |||||||||||||
|
Newsgroups: fa.caml
From: Richard Jones <r...@annexia.org>
Date: Wed, 04 Jun 2008 16:13:05 UTC
Local: Wed, Jun 4 2008 12:13 pm
Subject: Re: [Caml-list] Release date for 3.11?
On Tue, Jun 03, 2008 at 06:46:45PM +0200, Xavier Leroy wrote: If we wanted to follow CVS more closely, eg. in our development > > I'm sure the answer will be 'when it's ready', but is there a release > > date (month / year / ...) for 3.11 or release candidates of 3.11? > I'd like to release by late August, provided no show-stopping problems version, should we follow CVS head or are there other branches or tags that we should look at? I notice someone mentioned a "ocaml311+dev"(?) tag, but I can't find any tag like that in the CVS web interface. Rich. -- _______________________________________________ You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
| |||||||||||||