[m-rev.] for post-commit review: goal ids

Julien Fischer juliensf at csse.unimelb.edu.au
Wed Dec 22 12:00:14 AEDT 2010



On Mon, 20 Dec 2010, Zoltan Somogyi wrote:

> For review by anyone. I don't particularly care whether it makes it to
> the release branch or not.

I have merged this onto the release branch since if nothing else doing
so will make merging other changes from the trunk to the branch simpler.

I have had a quick glance through the diff and can see nothing obviously
amiss.

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



More information about the reviews mailing list