[m-rev.] for post-commit review: add a NEWS section for 20.01.2

Julien Fischer jfischer at opturion.com
Sun Mar 15 20:16:23 AEDT 2020

Add a NEWS section for 20.01.2.

     As above.


diff --git a/NEWS b/NEWS
index 5661f39..8f0971f 100644
--- a/NEWS
+++ b/NEWS
@@ -230,6 +230,14 @@ Changes to the Mercury implementation
    Another consequence is that the `--trail-size` and `--trail-size-kwords`
    runtime options no longer have any effect, and are deprecated.

+NEWS for Mercury 20.01.2
+This is a bug-fix release.
+* We have a fixed bug that prevented the runtime from building correctly
+  in C grades on 32-bit platforms when *not* using GCC as the C compiler.
  NEWS for Mercury 20.01.1

More information about the reviews mailing list