[m-rev.] For review: Implement several things for rbmm

[Zoltan Somogyi]

On 08-Nov-2007, Quan Phan <quan.phan at cs.kuleuven.be> wrote:
> I sent this email a while ago. Could I commit it?
> The change is internal to the rbmm stuff so it will likely not affect
> anyone.

Yes. For any changes that affect *only* rbmm stuff, there is no downside
to you committing it without or before a review.

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