[m-rev.] [m-dev.] fixing the bug reported on m-users

[Julien Fischer]

On Sat, 20 Nov 2021, Zoltan Somogyi wrote:

>
> 2021-11-20 19:25 GMT+11:00 "Julien Fischer" <jfischer at opturion.com>:
>> Also, since the NEWS file now refers to the compiler's usage message
>> the user guide need to document the option.
>
> I presume you mean the --halt-at-invalid-interface option.

Yes.

Julien.