[m-rev.] for review: remove unnecessary paragraph from bugs page on website

[Julien Fischer]

On Thu, 21 Sep 2006, Ian MacLarty wrote:

> Estimated hours taken: 0.1
>
> download/include/release-0.13-bugs.inc:
> 	Remove unnecessary paragraph.
>
> Index: download/include/release-0.13-bugs.inc
> ===================================================================
> RCS file: /home/mercury1/repository/w3/download/include/release-0.13-bugs.inc,v
> retrieving revision 1.1
> diff -u -r1.1 release-0.13-bugs.inc
> --- download/include/release-0.13-bugs.inc	15 Sep 2006 04:58:24 -0000	1.1
> +++ download/include/release-0.13-bugs.inc	21 Sep 2006 04:26:48 -0000
> @@ -25,15 +25,6 @@
> are described in the README.* files.
> See also the <a href="limitations.html">limitations</a> of the current release.
>
> -<p>
> -
> -Note: please do not be alarmed by the fact that this software has some bugs.
> -ALL useful software has bugs.  During the development of the Mercury
> -implementation we have found bugs in gcc, as, ld, the dynamic loader,
> -and even the OS kernel.  We hope that by listing the known outstanding bugs
> -here we are doing our users a service.  It would be disappointing if
> -anyone were to infer the wrong thing from it.
> -

Note: that is just a cut-and-paste from the BUGS file, so if you
are going to delete it here you should delete it there as well.

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