[m-dev.] Mercury on source forge

[Peter Ross]

I had a look at the bug tracking system on sourceforge, it seems to have
all the features that we need.  Should we migrate over to it?

We could also migrate nearly everything else to sourceforge, except
maybe the CVS repository, as they only allow ssh access to the
repository which may be a bit of a problem under windows.

Pete
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------