[m-rev.] for review: update NEWS for 13.05.1

[Peter Wang]

On Wed, 29 May 2013 16:03:04 +1000 (EST), Julien Fischer <jfischer at opturion.com> wrote:
> 
> For review by anyone.
> 
> Update the NEWS file for 13.05.1
> 
> NEWS:
>  	As above.
> 
> Julien.
> 
> diff --git a/NEWS b/NEWS
> index b3bc8c5..9018659 100644
> --- a/NEWS
> +++ b/NEWS
> @@ -1,10 +1,32 @@
>   NEWS for Mercury 13.05.1
>   ------------------------
> 
> +This is a bug-fix release.
> +
> +* Various build problems on Solaris and NetBSD have been fixed.
> +* The C# compiler for use by the csharp grade can now be specified using
> +  a new option to the configure script, `--with-csharp-compiler'.  This
> +  fixes a problem where it was not possible to build the Mercury libraries
> +  in the csharp grade against version 4.0 of the .NET framework using
> +  Mono.  (See README.CSharp for further details.)
> +* In C grades, closing a file stream multiple times no longer causes a
> +  segmentation fault on Linux.  (Bug #161)

Not really Linux specific.

> +* `--warn-dead-procs' no longer emits warnings for procedures if they are
> +  foreign exported to any language.  Previously, warnings were incorrectly
> +  emitted if there were only foreign_export pragmas that were not for foreign
> +  languages supported by the current backend.  (Bug #183)

 ... if there were only foreign_export pragmas for foreign
     languages unsupported by the current backend.

Looks fine.

Peter