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

Reply via email to