[m-rev.] for review: may_ignore_without_warning

[Julien Fischer]

On Tue, 18 Aug 2020, Peter Wang wrote:

> On Tue, 18 Aug 2020 14:35:43 +1000 "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
>> Does anyone object to me implementing this small addition
>> to the language, to let us shut up warnings about pragma memos
>> in the compiler in non-C grades?
>
> No objection.

Nor from me.

Julien.