On Mon, 11 Apr 2011, Diego Novillo wrote: > On Fri, Apr 8, 2011 at 11:49, Richard Guenther <rguent...@suse.de> wrote: > > > I'll leave this for comments over the weekend, and if there are none > > will go ahead and check this in early next week. > > The approach looks fine to me. Thanks.
I have now applied this after re-bootstrapping and testing on x86_64-unknown-linux-gnu. Richard.