[m-rev.] for review: --output-stdlib-grades

[Zoltan Somogyi]

2022-01-21 20:43 GMT+11:00 "Julien Fischer" <jfischer at opturion.com>:
> The rest looks fine.

Thanks for that; I followed all your suggestions.

I also added a NEWS file entry for the new option. I noticed that
we don't have entries for several other new options. You want want
to compile a list of the new options added since the last release,
and get NEWS entries for them from the log messages or from
whoever has added them, before you fork for the release.

Zoltan.