On Sun, Apr 22, 2012 at 2:15 PM, Jason Merrill <ja...@redhat.com> wrote: > On 04/22/2012 02:42 PM, Manuel López-Ibáńez wrote: >> >> Which seems to suggest that we add an option name for each pedwarn >> enabled by default. Is this also what you suggest? > > > I agree with this, and I think that's also what Gaby was suggesting by > "finer-grained".
Indeed. -- Gaby