[m-dev.] Re: Mercury mailing lists

[Peter Ross]

On Tue, Mar 06, 2001 at 12:10:30AM +1100, Peter Schachte wrote:
> On Mon, Mar 05, 2001 at 10:21:01PM +1100, Fergus Henderson wrote:
> > So, which do you all prefer, mercury-developers & mercury-technical
> > or mercury-patches & mercury-developers?
> > Any other suggestions for the names?
> 
> Maybe mercury-reviews and mercury-developers?  I know not all posted diffs
> are for review, but mercury-patches sounds to me too much like it should
> carry patches for people to apply to their Mercury installations.  And
> mercury-developers & mercury-technical sound like they should carry the same
> things.  Only trouble is:  how long would it take everyone to train
> themselves not to send diffs to mercury-developers anymore?
> 
As long as it takes for Fergus to finish his thesis. ;)

Apart from that I am happy with mercury-patches or mercury-review and
mercury-developers.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------