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".
Jason
