[m-rev.] diff: switch to build the 11.07.2 release

Julien Fischer juliensf at csse.unimelb.edu.au
Thu Jul 19 11:22:55 AEST 2012

On Wed, 18 Jul 2012, Julien Fischer wrote:

> On Wed, 18 Jul 2012, Peter Ross wrote:
>> The 11.07.2 release has been tagged (mercury, tests and benchmarks
>> modules).
>> Step 2 is now completed.
> Ok.  The rotd host was scheduled to build the 11.07 branch tonight
> anyway, so the release packages should be built by tomorrow
> morning.

The source distribution for 11.07.2 is in beta-release/11.07.2 on the
FTP server.  I'll copy it across to the top-level mercury directory
once I've tested it on a few machines.

mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au

More information about the reviews mailing list