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

[Julien Fischer]

For review by anyone.
--------------------

Announce the fix for Githbub issue #116.

NEWS.md:
     As above.

diff --git a/NEWS.md b/NEWS.md
index 2e7ee42..85a5cb3 100644
--- a/NEWS.md
+++ b/NEWS.md
@@ -1144,6 +1144,11 @@ 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 #116]. We have fixed a problem building programs with
+  `--intermodule-optimization` where the compiler was searching for library
+  files that were not installed unless the library was also built with
+  `--intermodule-optimization` enabled.
+
  * [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
    some of the required libraries are not available in the selected grade.