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

[Julien Fischer]

On Wed, 29 May 2013, Peter Wang wrote:

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

I'll delete that bit.  (Although on some sytems, for example Mac OS X, it
never caused a seg fault.)

Cheers,
Julien.