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

[Julien Fischer]

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.

Julien.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------