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

[Julien Fischer]

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