[m-rev.] for review: implement Mantis 497

[Zoltan Somogyi]

On Sun, 5 Apr 2020 11:44:27 +1000, Peter Wang <novalazy at gmail.com> wrote:

> This change is unrelated.
> 
> ...
>
> > +  % but contains only elements thaat are *not*
> 
> that

Fixed both.

> The rest looks fine, thanks.

Thank you.
 
> Can you add a NEWS entry as well?

What should that entry say? I don't see much point
in telling people that they can now put as-yet-invalid
warning names in disable_warnings scopes, since *users*
have no way to make them valid later; only developers do.

Zoltan.