[m-dev.] Re: Mercury mailing lists

[David Overton]

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?


My preference would be for mercury-patches and mercury-developers.  I
think this makes it clearer what each group is intended for:

mercury-users:
	For discussion of interest to users of Mercury.

mercury-developers:
	For discussion about Mercury development, possible new
	features, etc that is mainly of interest to the developers of
	Mercury, but may be of interest to others as well.

mercury-patches:
	Diffs and reviews of diffs.



David
-- 
David Overton      Department of Computer Science & Software Engineering
PhD Student        The University of Melbourne, Victoria 3010, Australia
+61 3 8344 9159    http://www.cs.mu.oz.au/~dmo
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------