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

[Zoltan Somogyi]

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.

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

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

Zoltan.