[m-dev.] for review: announce release of 0.9.1

[Warwick Harvey]

> --- download/include/release.inc	1999/12/26 10:10:51	1.14
> +++ download/include/release.inc	2000/01/05 13:59:25
> @@ -1,19 +1,11 @@
>  <h2>Current Release</h2>
>  
> -Mercury 0.9 was released on December 18, 1999. <p>
> +Mercury 0.9 was released on December 18, 1999. <br>
> +Mercury 0.9.1 was released on January 7, 2000. <p>

January 7?  Later you say January 20:

> --- news/newsdb.inc	2000/01/19 05:36:52	1.41
> +++ news/newsdb.inc	2000/01/19 05:40:14
> @@ -18,6 +18,13 @@
>  
>  $newsdb = array(
>  
> +"20 Jan 2000" => array("Mercury 0.9.1 released",

Other than that, those changes look fine.

Warwick

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