[mercury-users] Mercury mailing lists

[Robert Jeschofnik]

On 27-Feb-2001, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:

> Also, quite a bit of interesting discussion about Mercury takes
> place on the mercury-developers mailing list, but that list is
> a very high volume list, mostly because we post all our changes
> and code reviews there.  I propose that we split that list into two,
> by creating a new list called say `mercury-patches', for posting diffs
> of actual changes, and reviews of those diffs, while leaving the
> existing `mercury-developers' list for general discussion, e.g.
> about proposed new features, future directions, and so forth.
> 
> So, what do you think of this plan?
> Do those suggestions sound like good ideas?

Although the names probably aren't all that important, I'd rather see
it split into something like mercury-technical for the talk, and
mercury-development (or the like) for the code and reviews.

On the whole however, it does seem like quite a good idea.


rob
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------