[m-rev.] for post-commit review: fix mantis bug #45

[Ian MacLarty]

On Wed, Feb 20, 2008 at 01:58:57PM +1100, Zoltan Somogyi wrote:
> Fix Mantis bug #45, which was that mdb effectively ignored some commands
> in .mdbrc files.
> 

That looks fine.  Thanks.

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