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

[Julien Fischer]

On Sun, 21 Nov 2021, Zoltan Somogyi wrote:

>
> 2021-11-20 19:30 GMT+11:00 "Zoltan Somogyi" <zoltan.somogyi at runbox.com>:
>>
>> 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. I didn't realise
>> it was already there, but will add it now.
>
> The attached diff does this. For post-commit review by Julien.

That's fine.

Julien.