On Mon, 2009-01-19 at 23:20 -0600, Sebastian Pop wrote: > > Perhaps we should add a comment to common.opt to explain this? > > Yes, we could apply this patch. Looks good to me (and I think it qualifies as obvious) :-). Thanks, Ben