On Sun, 7 Mar 2021 at 21:49, Paul Eggert wrote:
> On 3/7/21 6:04 AM, Reuben Thomas wrote:
> > I think leaving just -Wsystem-headers in the list would be fine, as it's
> a
> > good example where opinions differ on what's desirable, and is unlikely
> to
> > be added to the list of ignored warnings,
On 3/7/21 6:04 AM, Reuben Thomas wrote:
I think leaving just -Wsystem-headers in the list would be fine, as it's a
good example where opinions differ on what's desirable, and is unlikely to
be added to the list of ignored warnings, while others come and go (easier
future maintenance of this examp
