[m-rev.] diff: shift the 14.01.X news into the history file

[Julien Fischer]

Hi Zoltan,

On Mon, 30 Dec 2019, Zoltan Somogyi wrote:

> On Mon, 30 Dec 2019 15:20:51 +1100 (AEDT), Julien Fischer <jfischer at opturion.com> wrote:
>> +NEWS for Mercury 14.01.2, not released
>
> I don't remember hearing about this "release". Did anyone outside
> the Mercury team about it? If not, there is no point in including its
> news in a *separate* section.

We released beta builds for it.
(I haven't yet decided if we will keep that entry or just fold it into
the annoucments for the next release.)

>> +This is a bug-fix release.
>> +
>> +* Fix array.sort, which has been buggy since 2001. You may wish to
>> +  reference array.sort_fix_2014 to ensure that you using the fixed version.
>
> s/you/you are/

Fixed.

> And I don't know what kind of "referencing" you refer to :-)

Peter wrote that, not me!.  The array module contains a predicate
named sort_fix_2014/0 (which is equivalent to true).  You can include
a call to it to ensure that you are using a version of the library that
includes the fix.

Julien.