[m-dev.] diff: oct 6 mercury meeting minutes

[Tyson Dowd]

Thanks Pete, thanks Fergus.

Maybe it would save a little bit of time if in future when people take
minutes, simply post the diff to mercury-developers?
(rather than sending then minutes to mercury-developers then HTMLizing
them and then sending the diff sometime later?).

-- 
       Tyson Dowd           # 
                            #  Surreal humour isn't everyone's cup of fur.
     trd at cs.mu.oz.au        # 
http://www.cs.mu.oz.au/~trd #
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------