Hi, On Thu, 3 Nov 2011, Eric Botcazou wrote: > > Thus, ok if it passes some testing. > > And with PR bootstrap/50857 in the ChangeLog for extra brownie points. r180833. Ciao, Michael.