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

[Paul Bone]

On Wed, May 29, 2013 at 05:44:03PM +1000, Julien Fischer wrote:
>>> +
>>> +* 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.)
>

Rather than say "causes a segmentation fault on Linux" you could say "can
cause a segmentation fault on some systems".

What are the problems on non-linux systems?  Because then you could say
"corrupts memory state and may cause a segmentation fault (on some
systems)", or similar.

-- 
Paul Bone
http://www.bone.id.au