[m-rev.] for review: announce fix for Github issue #117

[Julien Fischer]

For review by anyone.

---------------------

Announce the fix for Github issue #117.

NEWS.md:
     As above.

Julien.

diff --git a/NEWS.md b/NEWS.md
index ebf5779..997db9d 100644
--- a/NEWS.md
+++ b/NEWS.md
@@ -1144,6 +1144,10 @@ This is a bug-fix release.
    `int16` and `int32` values were being incorrectly promoted to `int` and sign
    extended when one of the unsigned conversion specifiers was applied.

+* [Github issue #117]. We have fixed a bug where the compiler would silently
+  fail when compiling a program that consists of a single source file and the
+  library grade install checks failed.
+
  NEWS for Mercury 22.01.5
  ========================