On Mon, 12 May 2014, Manuel López-Ibáñez wrote: > I will be very surprised if the common defaults are overriding a FE > default and it is not a bug in the FE.
Well, I think that needs justification, not just "very surprised". Identify (presumably in an automated way) all the cases where an option is handled by more than one of the handlers and, for each one, describe what cases would be affected by a change of order and why the proposed new order gives the desired effects. -- Joseph S. Myers jos...@codesourcery.com
