On Mon, Jan 19, 2009 at 11:27 PM, Ben Elliston <[email protected]> wrote: > 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) :-).
I've committed the patch with this ChangeLog entry: 2009-01-20 Sebastian Pop <[email protected]> * common.opt (fgraphite, fgraphite-identity): Add comment for explaining why these options are not documented. Sebastian
