[m-rev.] for review: replace mercury-bugs mailing list reference in web site

[Julien Fischer]

On Mon, 14 Apr 2008, Ian MacLarty wrote:

> On Mon, Apr 14, 2008 at 03:35:55PM +1000, Julien Fischer wrote:
>>
>>
>> On Mon, 14 Apr 2008, Ian MacLarty wrote:
>>
>>> For review by anyone.
>>>
>>> Estimated hours taken: 0.2
>>> Branches: main
>>>
>>> download/include/rotd.inc:
>>> 	Replace reference to mercury-bugs mailing list with link to the mantis
>>> 	bug database.
>>
>> There are also a bunch of files in the Mercury distribution itself,
>> e.g. BUGS, .README.in etc that refer to this file - if you are going to
>> update the webpage then the other references should also be removed.
>>
>
> Is BUGS still maintained?

Has it ever been maintained? ;-)

> Certainly it doesn't contain all the bugs in the bug db.

I don't think it contains any bugs that are in the db, there are some
really old ones in there.  Perhaps it should also contain a pointer
to the bug db.

> Should we just refer users to the bug db for ROTDs and include a report
> of the unresolved bugs with stable releases only?

Yes, that seems reasonable.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------